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

针对可信计算中信任链理论缺乏深入分析验证的现状，分析了信任链理论中，可信与信任的内涵及其隐含的动态特性，借助时态逻辑的时间推理能力，建立了可信平台中的信任链的形式化模型，依据该模型，观察信任传递的过程，从而从理论上验证了信任在信任链上的可传递性，并得出信任在信任链上传递的充分条件。