Institutional Repository
| 动态远程证明协议及其形式化分析 | |
| Alternative Title | dynamic remote attestation protocol and it's formal analysis |
| 辛思远; 赵勇; 王婷 | |
| 2012 | |
| Source | 计算机工程与设计
 |
| ISSN | 1000-7024 |
| Volume | 33Issue:8Pages:2901-2905 |
| English Abstract | 针对程序的运行时动态攻击给远程证明带来的安全威胁,设计一种动态远程证明协议DRAP,对内存中处于运行状态的程序实施实时的动态度量,并向远程验证方证明平台实时状态。针对DRAP协议所用的TPM功能对LS2逻辑进行扩展,引入重置规则、时刻规则等新的推理规则,利用扩展的LS2逻辑对DRAP协议进行分析,分析表明DRAP中可重置配置寄存器中的扩展序列能够反映平台中程序的实时运行状态,并且在TPM可信和证明代理可信的前提下,远程验证者能够有效验证平台的实时可信状态。 |
| Indexed Type | CNKI ; WANFANG |
| Keyword | 动态度量 远程证明 时间戳 Ls2逻辑 形式化分析 |
| Department | 解放军信息工程大学电子技术学院;中国科学院软件研究所信息安全国家重点实验室;北京工业大学计算机学院;65047部队; |
| Sponsorship | 国家973重点基础研究发展计划基金项目(2007CB311100)|国家863高技术研究发展计划基金项目(2009AA01Z437)|国家核高基项目(2010ZX01037-001-001)|信息安全国家重点实验室(中国科学院软件研究所)开放课题 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14946 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 辛思远,赵勇,王婷. 动态远程证明协议及其形式化分析[J]. 计算机工程与设计,2012,33(8):2901-2905. |
| APA | 辛思远,赵勇,&王婷.(2012).动态远程证明协议及其形式化分析.计算机工程与设计,33(8),2901-2905. |
| MLA | 辛思远,et al."动态远程证明协议及其形式化分析".计算机工程与设计 33.8(2012):2901-2905. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment