计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2010年
7期
1165-1176
,共12页
徐明迪%张焕国%赵恒%李峻林%严飞
徐明迪%張煥國%趙恆%李峻林%嚴飛
서명적%장환국%조항%리준림%엄비
信任链%安全进程代数%可复合的不可演绎模型
信任鏈%安全進程代數%可複閤的不可縯繹模型
신임련%안전진정대수%가복합적불가연역모형
可信计算规范是指导可信计算产品研制的依据,可信计算规范本身的安全性需要得到验证.信任链是可信计算平台中保障系统安全可靠的主要技术手段,它是可信计算平台整个系统安全的中心问题.针对可信计算平台信任链规范的信息流安全问题,文中通过安全进程代数对信任链系统接口进行形式化建模,用可复合的不可演绎模型刻画信任链实体间的交互关系,把规范定义的信任链行为特性抽象为多级安全输入输出集,在讨论高级和低级输入输出依赖关系的基础之上,对信任链复合系统进行信息流分析,并给出结论和证明.
可信計算規範是指導可信計算產品研製的依據,可信計算規範本身的安全性需要得到驗證.信任鏈是可信計算平檯中保障繫統安全可靠的主要技術手段,它是可信計算平檯整箇繫統安全的中心問題.針對可信計算平檯信任鏈規範的信息流安全問題,文中通過安全進程代數對信任鏈繫統接口進行形式化建模,用可複閤的不可縯繹模型刻畫信任鏈實體間的交互關繫,把規範定義的信任鏈行為特性抽象為多級安全輸入輸齣集,在討論高級和低級輸入輸齣依賴關繫的基礎之上,對信任鏈複閤繫統進行信息流分析,併給齣結論和證明.
가신계산규범시지도가신계산산품연제적의거,가신계산규범본신적안전성수요득도험증.신임련시가신계산평태중보장계통안전가고적주요기술수단,타시가신계산평태정개계통안전적중심문제.침대가신계산평태신임련규범적신식류안전문제,문중통과안전진정대수대신임련계통접구진행형식화건모,용가복합적불가연역모형각화신임련실체간적교호관계,파규범정의적신임련행위특성추상위다급안전수입수출집,재토론고급화저급수입수출의뢰관계적기출지상,대신임련복합계통진행신식류분석,병급출결론화증명.
