基于时态逻辑的可信平台信任链建模  

Temporal-logic-based Model for Chain of Trust of Trusted Platform

作　　者：李莉[1,2] 曾国荪[1,2] 陈波[1,2] 

机构地区：[1]同济大学计算机科学与技术系,上海201804 [2]国家高性能计算机工程技术中心同济分中心,上海201804

出　　处：《计算机科学》2008年第4期265-267,共3页Computer Science

基　　金：国家自然科学基金(60673157);教育部科研重点项目(105071)资助

摘　　要：针对可信计算中信任链理论缺乏深入分析验证的现状,分析了信任链理论中,可信与信任的内涵及其隐含的动态特性,借助时态逻辑的时间推理能力,建立了可信平台中的信任链的形式化模型,依据该模型,观察信任传递的过程,从而从理论上验证了信任在信任链上的可传递性,并得出信任在信任链上传递的充分条件。According to the current situation of the absence of the formally study to the chain of trust in trusted computing, the notions and the dynamic properties of trusted and trust are analyzed. By virtue of the temporal reasoning abilities of the temporal logic, a formal model of the chain of trust is built. Based on this model, the transfer of the trust on the chain of trust can be inspected, thus the transferability of the trust on the chain of trust is proved theoretically, finally the conditions for the transferability of trust is educed.

关 键 词：可信 信任 信任链 模态逻辑 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] TP393[自动化与计算机技术—控制科学与工程]