通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2014年
8期
95-106
,共12页
可信计算%平台身份证明%协议组合逻辑%匿名性
可信計算%平檯身份證明%協議組閤邏輯%匿名性
가신계산%평태신빈증명%협의조합라집%닉명성
trusted computing%platform identity attestation%protocol composition logic%anonymity
对基于可信第三方的平台身份证明方案进行了研究,提出了一种用证书和令牌标识可信计算平台并直接使用令牌证明平台身份的方案.与其他方案相比,该方案降低了证明过程的计算量和通信量,并且验证方验证平台身份的同时能够确认平台状态可信,获得了更高的安全性.利用协议组合逻辑证明了方案满足平台身份验证正确性和匿名性.原型系统实验结果表明,该方案平台身份证明效率高,特别适用于无线网络环境.
對基于可信第三方的平檯身份證明方案進行瞭研究,提齣瞭一種用證書和令牌標識可信計算平檯併直接使用令牌證明平檯身份的方案.與其他方案相比,該方案降低瞭證明過程的計算量和通信量,併且驗證方驗證平檯身份的同時能夠確認平檯狀態可信,穫得瞭更高的安全性.利用協議組閤邏輯證明瞭方案滿足平檯身份驗證正確性和匿名性.原型繫統實驗結果錶明,該方案平檯身份證明效率高,特彆適用于無線網絡環境.
대기우가신제삼방적평태신빈증명방안진행료연구,제출료일충용증서화령패표식가신계산평태병직접사용령패증명평태신빈적방안.여기타방안상비,해방안강저료증명과정적계산량화통신량,병차험증방험증평태신빈적동시능구학인평태상태가신,획득료경고적안전성.이용협의조합라집증명료방안만족평태신빈험증정학성화닉명성.원형계통실험결과표명,해방안평태신빈증명효솔고,특별괄용우무선망락배경.
