计算机科学 ›› 2008, Vol. 35 ›› Issue (4): 265-267.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 针对可信计算中信任链理论缺乏深入分析验证的现状，分析了信任链理论中，可信与信任的内涵及其隐含的动态特性，借助时态逻辑的时间推理能力，建立了可信平台中的信任链的形式化模型，依据该模型，观察信任传递的过程，从而从理论上验证了信任在信任链上的可传递性，并得出信任在信任链上传递的充分条件。
关键词: 可信 信任 信任链 模态逻辑
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 log
Key words: Trusted,Trust,Chain of trust,Temporal logic
. 基于时态逻辑的可信平台信任链建模[J]. 计算机科学, 2008, 35(4): 265-267. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I4/265
Cited
首页