| 基于时态逻辑的可信平台信任链建模 |
| |
| 引用本文： | 李莉,曾国荪,陈波.基于时态逻辑的可信平台信任链建模[J].计算机科学,2008,35(4):265-267. |
| |
| 作者姓名： | 李莉 曾国荪 陈波 |
| |
| 作者单位： | 1. 同济大学计算机科学与技术系,上海,201804
2. 国家高性能计算机工程技术中心同济分中心,上海,201804 |
| |
| 基金项目： | 国家自然科学基金
,
教育部科学技术研究重点项目 |
| |
| 摘 要： | 针对可信计算中信任链理论缺乏深入分析验证的现状,分析了信任链理论中,可信与信任的内涵及其隐含的动态特性,借助时态逻辑的时间推理能力,建立了可信平台中的信任链的形式化模型,依据该模型,观察信任传递的过程,从而从理论上验证了信任在信任链上的可传递性,并得出信任在信任链上传递的充分条件.
|
| 关 键 词： | 可信 信任 信任链 模态逻辑 |
Temporal-logic-based Model for Chain of Trust of Trusted Platform |
| |
| LI Li,ZENG Guo-Sun,CHEN Bo.Temporal-logic-based Model for Chain of Trust of Trusted Platform[J].Computer Science,2008,35(4):265-267. |
| |
| Authors: | LI Li ZENG Guo-Sun CHEN Bo |
| |
| Affiliation: | LI Li ZENG Guo-Sun CHEN Bo(Department of Computer Science , Technology,Tongji University,Shanghai 201804) (Tongji Branch,National Engineering , Technology Center of High Performance Computer,Shanghai 201804) |
| |
| Abstract: | 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 tra... |
| |
| Keywords: | Trusted Trust Chain of trust Temporal logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
