Semantic remote attestation: a virtual machine directed approach to trusted computing
作者： Vivek Haldar , Michael Franz , Deepak Chandra
DOI:
关键词: Virtual machine 、 Distributed computing 、 Trusted Computing 、 Direct Anonymous Attestation 、 Communications protocol 、 Variety (cybernetics) 、 Computer science
摘要: Remote attestation is one of the core functionalities provided by trusted computing platforms. It holds promise enabling a variety novel applications. However, current techniques for remote are static, inexpressive and fundamentally incompatible with today's heterogeneous distributed environments commodity open systems. Using language-based virtual machines enables complex, dynamic, high-level program properties - in platform-independent way. We call this semantic attestation. This number applications that distribute trust dynamically. have implemented prototype framework attestation, present two example built on it peer-to-peer network protocol, application.
vivekhaldar.com
acm.org 参考文章(20)
Benjie Chen, Robert Tappan Morris, None, Certifying program execution with secure processors hot topics in operating systems. pp. 23- 23 ,(2003)
Demetrios Zeinalipour-Yazti, Exploiting the Security Weaknesses of the Gnutella Protocol ,(2002)
Dan Boneh, Tal Garfinkel, Mendel Rosenblum, Flexible OS support and applications for trusted computing hot topics in operating systems. pp. 25- 25 ,(2003)
Butler Lampson, Morrie Gasser, Andy Goldstein, Charlie Kaufman, The Digital Distributed System Security Architecture National Institute of Standards and Technology. ,(1989)
Fred B. Schneider, Greg Morrisett, Robert Harper, A Language-Based Approach to Security Lecture Notes in Computer Science. pp. 86- 101 ,(2001) , 10.1007/3-540-44577-3_6
Dexter Kozen, Language-Based Security mathematical foundations of computer science. pp. 284- 298 ,(1999) , 10.1007/3-540-48340-3_26
George C. Necula, A Scalable Architecture for Proof-Carrying Code international symposium on functional and logic programming. pp. 21- 39 ,(2001) , 10.1007/3-540-44716-4_2
Dan S. Wallach, A survey of peer-to-peer security issues mext nsf jsps international conference on software security theories and systems. pp. 42- 57 ,(2002) , 10.1007/3-540-36532-X_4
David L. Kaminsky, Geoff A. Cohen, Jeffrey S. Chase, Automatic program transformation with JOIE usenix annual technical conference. pp. 14- 14 ,(1998)
W. M. Waite, William James Cody, Software manual for the elementary functions Prentice-Hall. ,(1980)