动态远程证明协议及其形式化分析
文献类型：期刊论文
| 作者 | 辛思远 ; 赵勇 ; 王婷 |
| 刊名 | 计算机工程与设计
 |
| 出版日期 | 2012 |
| 卷号 | 33期号:8页码:2901-2905 |
| 关键词 | 动态度量 远程证明 时间戳 LS2逻辑 形式化分析 |
| ISSN号 | 1000-7024 |
| 其他题名 | dynamic remote attestation protocol and it's formal analysis |
| 中文摘要 | 针对程序的运行时动态攻击给远程证明带来的安全威胁,设计一种动态远程证明协议DRAP,对内存中处于运行状态的程序实施实时的动态度量,并向远程验证方证明平台实时状态。针对DRAP协议所用的TPM功能对LS2逻辑进行扩展,引入重置规则、时刻规则等新的推理规则,利用扩展的LS2逻辑对DRAP协议进行分析,分析表明DRAP中可重置配置寄存器中的扩展序列能够反映平台中程序的实时运行状态,并且在TPM可信和证明代理可信的前提下,远程验证者能够有效验证平台的实时可信状态。 |
| 收录类别 | CNKI ; WANFANG |
| 资助信息 | 国家973重点基础研究发展计划基金项目(2007CB311100)|国家863高技术研究发展计划基金项目(2009AA01Z437)|国家核高基项目(2010ZX01037-001-001)|信息安全国家重点实验室(中国科学院软件研究所)开放课题 |
| 语种 | 中文 |
| 公开日期 | 2013-09-17 |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。