CORC  > 北京大学  > 信息科学技术学院
Model-Driven Remote Attestation: Attesting Remote System from Behavioral Aspect
Gu, Liang ; Ding, Xuhua ; Deng, Robert H. ; Zou, Yanzhen ; Xie, Bing ; Shao, Weizhong ; Mei, Hong
2008
关键词Trusted computing remote attestation security policy
英文摘要Remote attestation was introduced in TCG specifications to determine whether a remote system is trusted to behave in a particular manner for a specific purpose; however, most of the existing approaches attest only the integrity state of a remote system and hence have a long way to go in achieving the above attestation objective. Behavior-based attestation and semantic attestation were recently introduced as solutions to approach the TCG attestation objective. In this paper, we extend behavior-based attestation to a model-driven remote attestation to prove that a remote system is trusted as defined by TCG. Our model-driven remote attestation verifies two compliance requirements to prove the trustworthiness of a remote system: expected behavior compliance and enforced behavior compliance.; Computer Science, Theory & Methods; EI; CPCI-S(ISTP); 2
语种英语
DOI标识10.1109/ICYCS.2008.349
内容类型其他
源URL[http://ir.pku.edu.cn/handle/20.500.11897/406857]  
专题信息科学技术学院
推荐引用方式
GB/T 7714
Gu, Liang,Ding, Xuhua,Deng, Robert H.,et al. Model-Driven Remote Attestation: Attesting Remote System from Behavioral Aspect. 2008-01-01.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace