Semantic remote attestation - A virtual machine directed approach to trusted computing

Proceedings of the 3rd Virtual Machine Research and Technology Symposium, JAVA VM 2004

Volumn , Issue , 2004, Pages

  Haldar, Vivek ^a   Chandra, Deepak ^a   Franz, Michael ^a  

^a Irvine   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; ENGINEERING RESEARCH; HIGH LEVEL LANGUAGES; JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; NETWORK SECURITY; OPEN SYSTEMS; PEER TO PEER NETWORKS; SEMANTICS; VIRTUAL MACHINE;

CORE FUNCTIONALITY; DISTRIBUTED COMPUTING ENVIRONMENT; HIGH-LEVEL PROGRAM; NOVEL APPLICATIONS; PLATFORM INDEPENDENT; REMOTE ATTESTATION; TRUSTED COMPUTING PLATFORM;

TRUSTED COMPUTING;

EID: 70349659108     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. GIMPS source code timings page. http:// hogranch.com/mayer/gimps-timings.html.
2. The gnutella protocol specification. http://www9.limewire.com/developer/ gnutella-protocol-0.4.pdf.
3. Java port of elefunt. http://www.math.utah.edu/ beebe/software/java/.
4. The Great Internet Prime Mersenne Search: GIMPS. http://www.mersenne.org/.
5. T. C. P. Alliance. TCPA PCspecific implementation specification (http://www.trustedcomputing.org), May 2001.
6. R. Anderson. Cryptography and competition policy - issues with trusted computing. In Workshop on Economics and Information Security, May 2003.
7. W. Arbaugh, D. Farber, and J. Smith. A secure and reliable bootstrap architecture. In IEEE Symposium on Security and Privacy, 1997.
8. S. Bellovin. Security aspects of napster and gnutella. In USENIX Security Symposium, Aug. 2000.
9. E. Bugnion, S. Devine, K. Govil, and M. Rosenblum. Disco: Running commodity operating systems on scalable multiprocessors. ACM Transactions on Computer Systems, 15(4):412- 447, 1997.
10. B. Chen and R. Morris. Certifying program execution with secure processors. In USENIX HotOS Workshop, May 2003.
11. W. Cody and W. Waite. Software manual for the elementary functions. Prentice Hall, 1980.
12. G. Cohen, J. Chase, and D. Kaminsky. Automatic program transformation with JOIE. In 1998 USENIX Annual Technical Symposium, pages 167-178, 1998.
13. Z.-Y. Demetris. Exploiting the security weakneses of the gnutella protocol, Mar. 2002.
14. Erlingsson and Schneider. SASI enforcement of security policies: A retrospective. In NSPW: New Security Paradigms Workshop. ACM Press, 2000.
15. D. Evans and A. Twyman. Flexible policydirected code safety. In IEEE Symposium on Security and Privacy, pages 32-45, 1999.
16. T. Garfinkel, B. Pfaff, J. Chow, M. Rosenblum, and D. Boneh. Terra: A virtual machine-based platform for trusted computing. In Proceedings of the 19th Symposium on Operating System Principles(SOSP 2003), October 2003.
17. T. Garfinkel, M. Rosenblum, and D. Boneh. Flexible os support and applications for trusted computing. In Proceedings of the 9th Workshop on Hot Topics in Operating Systems (HotOSVIII), May 2003.
18. M. Gasser, A. Goldstein, C. Kaufman, and B. Lampson. The digital distributed system security architecture. In Proc. 12th NIST-NCSC National Computer Security Conference, pages 305-319, 1989.
19. S. Ioannidis, A. D. Keromytis, S. M. Bellovin, and J. M. Smith. Implementing a distributed firewall. In ACM Conference on Computer and Communications Security, pages 190-199, 2000.
20. E. Korpela, D. Werthimer, D. Anderson, J. Cobb, and M. Lebofsky. Seti@home - massively distributed computing for SETI. Computing Science and Engineering, 3(1), 2001.
21. D. Kozen. Language-based security. In Mathematical Foundations of Computer Science, pages 284-298, 1999.
22. D. Molnar. The SETI@home problem. http://www.acm.org/crossroads/columns/ onpatrol/september2000.html, Sept. 2000.
23. A. C. Myers. JFlow: Practical mostly-static information flow control. In Symposium on Principles of Programming Languages, pages 228- 241, 1999.
24. G. C. Necula. A scalable architecture for proofcarrying code. Lecture Notes in Computer Science, 2024:21+, 2001.
25. F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. Lecture Notes in Computer Science, 2000:86-?, 2001.
26. D. Wallach. A survey of peer-to-peer security issues. In International Symposium on Software Security, Nov. 2002.
27. B. Zagrovic, E. Sorin, and V. Pande. Beta hairpin folding simulations in atomistic detail using an implicit solvent model. Journal of Molecular Biology, 317(4), 2002.