%0 Journal Article
%T 基于时态逻辑的可信平台信任链建模
%J 计算机科学
%D 2008
%X 针对可信计算中信任链理论缺乏深入分析验证的现状，分析了信任链理论中，可信与信任的内涵及其隐含的动态特性，借助时态逻辑的时间推理能力，建立了可信平台中的信任链的形式化模型，依据该模型，观察信任传递的过程，从而从理论上验证了信任在信任链上的可传递性，并得出信任在信任链上传递的充分条件。
%K 可信信任信任链模态逻辑
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=27038448&flag=1