| 开放网络环境下的属性远程证明 |
| |
| 引用本文： | 李莉,曾国荪,陈波. 开放网络环境下的属性远程证明[J]. 计算机应用, 2008, 28(1): 77-79 |
| |
| 作者姓名： | 李莉 曾国荪 陈波 |
| |
| 作者单位： | 上海同济大学上海同济大学上海同济大学 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) , 国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 为解决基于完整性验证的可信平台证明机制中存在的诸多问题，给出了一个基于平台属性的远程证明抽象模型，借助可信第三方实现平台属性的有效验证。并使用逻辑安全语言对该模型进行了形式化描述和可行性验证。这种新的可信平台证明方式丰富了平台证明的安全语义，并且更适用于公平、开放的网络环境。
|
| 关 键 词： | 可信计算 属性 远程证明 逻辑安全语言 |
| 文章编号： | 1001-9081(2008)01-0077-03 |
| 收稿时间： | 2007-07-23 |
| 修稿时间： | 2007-07-23 |
Property-based remote attestation in open network environment |
| |
| LI Li,ZENG Guo-sun,CHEN Bo. Property-based remote attestation in open network environment[J]. Journal of Computer Applications, 2008, 28(1): 77-79 |
| |
| Authors: | LI Li ZENG Guo-sun CHEN Bo |
| |
| Affiliation: | LI Li,ZENG Guo-sun,CHEN Bo(1.Department of Computer Science , Technology,Tongji University,Shanghai 201804,China,2.Tongji Branch,National Engineering , Technology Center of High Performance Computer,China) |
| |
| Abstract: | To resolve many existing problems in integrity-based remote attestation of trusted platform, an abstract model of property-based remote attestation was put forward, in which the property of platforms was validated by the trusted third party. Then the model was described and validated explicitly by a logic security language. This new method enriches the security semantic of platform attestation and is more adapt to the impartial and open network environment. |
| |
| Keywords: | trusted computing property remote attestation logic security language |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
