무슨 일이 있었나
기밀 컴퓨팅 증명 로직은 펌웨어/소프트웨어 측정값을 일치시키지만, 증거를 허용된 플랫폼 소유자 또는 머신 신원에 바인딩하지 않고 폐지를 강제하지 않아, 교차 플랫폼 증거 대체가 가능합니다. 두 번째 결함은 증명된 TLS 연결이 설정될 때 한 번만 증명을 수행하므로, 공격자가 그 검사 이후에 증명 대상 워크로드 코드, 상태, 구성 또는 연결된 장치를 수정하면 설정된 신뢰를 유지할 수 있습니다.
왜 중요한가
기밀 컴퓨팅은 AI 워크로드와 해당 가중치가 신뢰된 하드웨어에서 실행됨을 보장하는 데 사용됩니다. 증명이 공격자가 제어하는 플랫폼의 증거로 충족될 수 있거나 한 번만 검사된다면, AI 모델 실행 및 추론에 대한 무결성 및 기밀성 보장은 무효화됩니다.
공격 경로
검증자는 펌웨어 패치 수준과 소프트웨어 측정값이 일치할 때 TEE 증명 증거를 수락하지만, 허용된 플랫폼 소유자 또는 고유 머신 신원에 바인딩하지 않고 폐지를 강제하지 않습니다. 동일한 검증자가 신뢰하는 다른 플랫폼을 제어하는 공격자는 해당 플랫폼의 유효한 증거를 대체하여 잘못된 플랫폼의 승인을 유발합니다. 별도로, 증명은 증명된 TLS 연결이 설정될 때 한 번만 수행되므로, 검사 후 코드/상태/구성 변경은 재증명되지 않습니다.
영향받는 시스템
Cocos AI <= 0.8.2 (증거 바인딩); < 0.9.0 (일회성 증명)
완화 방안
Cocos AI 0.9.0을 채택하고 증명 정책에서 플랫폼 소유자/신원 바인딩 및 폐지를 추가로 강제하십시오; 권고는 이 결함이 기밀 컴퓨팅 위협 모델에서 비롯되므로 소스만으로는 완전히 수정할 수 없다고 명시합니다.