中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
动态远程证明协议及其形式化分析
Alternative Title: dynamic remote attestation protocol and it's formal analysis
Author: 辛思远 ; 赵勇 ; 王婷
Keyword: 动态度量 ; 远程证明 ; 时间戳 ; LS2逻辑 ; 形式化分析
Source: 计算机工程与设计
Issued Date: 2012
Volume: 33, Issue:8, Pages:2901-2905
Indexed Type: CNKI ; WANFANG
Department: 解放军信息工程大学电子技术学院;中国科学院软件研究所信息安全国家重点实验室;北京工业大学计算机学院;65047部队;
Sponsorship: 国家973重点基础研究发展计划基金项目(2007CB311100)|国家863高技术研究发展计划基金项目(2009AA01Z437)|国家核高基项目(2010ZX01037-001-001)|信息安全国家重点实验室(中国科学院软件研究所)开放课题
Abstract: 针对程序的运行时动态攻击给远程证明带来的安全威胁,设计一种动态远程证明协议DRAP,对内存中处于运行状态的程序实施实时的动态度量,并向远程验证方证明平台实时状态。针对DRAP协议所用的TPM功能对LS2逻辑进行扩展,引入重置规则、时刻规则等新的推理规则,利用扩展的LS2逻辑对DRAP协议进行分析,分析表明DRAP中可重置配置寄存器中的扩展序列能够反映平台中程序的实时运行状态,并且在TPM可信和证明代理可信的前提下,远程验证者能够有效验证平台的实时可信状态。
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/14946
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
辛思远,赵勇,王婷. 动态远程证明协议及其形式化分析[J]. 计算机工程与设计,2012-01-01,33(8):2901-2905.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[辛思远]'s Articles
[赵勇]'s Articles
[王婷]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[辛思远]‘s Articles
[赵勇]‘s Articles
[王婷]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace