李莉
- 作品数：2 被引量：9H指数：2
- 供职机构：国家高性能计算机工程技术研究中心更多>>
- 发文基金：教育部科学技术研究重点项目国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于时态逻辑的可信平台信任链建模被引量：5
- 2008年
- 针对可信计算中信任链理论缺乏深入分析验证的现状,分析了信任链理论中,可信与信任的内涵及其隐含的动态特性,借助时态逻辑的时间推理能力,建立了可信平台中的信任链的形式化模型,依据该模型,观察信任传递的过程,从而从理论上验证了信任在信任链上的可传递性,并得出信任在信任链上传递的充分条件。
- 李莉李莉曾国荪
- 关键词：信任模态逻辑
- 开放网络环境下的属性远程证明被引量：4
- 2008年
- 为解决基于完整性验证的可信平台证明机制中存在的诸多问题,给出了一个基于平台属性的远程证明抽象模型,借助可信第三方实现平台属性的有效验证。并使用逻辑安全语言对该模型进行了形式化描述和可行性验证。这种新的可信平台证明方式丰富了平台证明的安全语义,并且更适用于公平、开放的网络环境。
- 李莉李莉曾国荪
- 关键词：可信计算远程证明
