| 动态远程证明协议及其形式化分析 |
| 其他题名 | dynamic remote attestation protocol and it's formal analysis
|
| 辛思远; 赵勇; 王婷
|
| 2012
|
| 发表期刊 | 计算机工程与设计
 |
| ISSN | 1000-7024
|
| 卷号 | 33期号:8页码:2901-2905 |
| 摘要 | 针对程序的运行时动态攻击给远程证明带来的安全威胁,设计一种动态远程证明协议DRAP,对内存中处于运行状态的程序实施实时的动态度量,并向远程验证方证明平台实时状态。针对DRAP协议所用的TPM功能对LS2逻辑进行扩展,引入重置规则、时刻规则等新的推理规则,利用扩展的LS2逻辑对DRAP协议进行分析,分析表明DRAP中可重置配置寄存器中的扩展序列能够反映平台中程序的实时运行状态,并且在TPM可信和证明代理可信的前提下,远程验证者能够有效验证平台的实时可信状态。 |
| 收录类别 | CNKI
; WANFANG
|
| 关键词 | 动态度量
远程证明
时间戳
Ls2逻辑
形式化分析
|
| 部门归属 | 解放军信息工程大学电子技术学院;中国科学院软件研究所信息安全国家重点实验室;北京工业大学计算机学院;65047部队;
|
| 资助者 | 国家973重点基础研究发展计划基金项目(2007CB311100)|国家863高技术研究发展计划基金项目(2009AA01Z437)|国家核高基项目(2010ZX01037-001-001)|信息安全国家重点实验室(中国科学院软件研究所)开放课题
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/14946
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
辛思远,赵勇,王婷. 动态远程证明协议及其形式化分析[J]. 计算机工程与设计,2012,33(8):2901-2905.
|
| APA |
辛思远,赵勇,&王婷.(2012).动态远程证明协议及其形式化分析.计算机工程与设计,33(8),2901-2905.
|
| MLA |
辛思远,et al."动态远程证明协议及其形式化分析".计算机工程与设计 33.8(2012):2901-2905.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论