计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2012年
1期
33-36,41
,共5页
可信计算%远程证明%完整性%证明模型%行为%威胁
可信計算%遠程證明%完整性%證明模型%行為%威脅
가신계산%원정증명%완정성%증명모형%행위%위협
传统可信远程证明方法对于动态证明问题描述不足,且在可信证明过程中,证明主/客体交互行为对于可信性的影响缺乏理论依据.为此,提出一种基于证明主/客体双重完整性的可信证明模型,在该模型中引入可信性概念,定义可信属性及可信状态的建立规则,根据该模型设计可信证明系统,并分析主/客体不同完整性的证明方法.
傳統可信遠程證明方法對于動態證明問題描述不足,且在可信證明過程中,證明主/客體交互行為對于可信性的影響缺乏理論依據.為此,提齣一種基于證明主/客體雙重完整性的可信證明模型,在該模型中引入可信性概唸,定義可信屬性及可信狀態的建立規則,根據該模型設計可信證明繫統,併分析主/客體不同完整性的證明方法.
전통가신원정증명방법대우동태증명문제묘술불족,차재가신증명과정중,증명주/객체교호행위대우가신성적영향결핍이론의거.위차,제출일충기우증명주/객체쌍중완정성적가신증명모형,재해모형중인입가신성개념,정의가신속성급가신상태적건립규칙,근거해모형설계가신증명계통,병분석주/객체불동완정성적증명방법.
