Establishing the genuinity of remote computer systems

Proceedings of the 12th USENIX Security Symposium

Volumn , Issue , 2003, Pages 295-310

  Kennell, Rick ^a   Jamieson, Leah H ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER NETWORKS; NETWORK SECURITY; REMOTE CONTROL;

CERTIFYING AUTHORITIES; DISTRIBUTED COMPUTATIONS; DISTRIBUTED COMPUTING ENVIRONMENT; DISTRIBUTED RESOURCES; POTENTIAL ATTACK; REMOTE COMPUTERS;

DISTRIBUTED COMPUTER SYSTEMS;

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

References (50)

1. Trusted Computing Platform Aliance. TCPA main specification. http://www.trustedcomputing.org/.
2. Ross Anderson. TCPA/Palladium Frequently Asked Questions. http://www.cl.cam.ac.uk/users/rja14/tcpa-faq.html.
3. AOL. The America Online Instant Messenger Application. http://www.aol.com/, 2002.
4. William A. Arbaugh. Improving the TCPA. IEEE Computer, 35:77-79, August 2002.
5. William A. Arbaugh. The TCPA; what's wrong; what's right and what to do about it. http://www.cs.umd.edu/~waa/TCPA/TCPA-goodnbad.pdf, July 2002.
6. William A. Arbaugh, David J. Farber, and Jonathan M. Smith. A Secure and Reliable Bootstrap Architecture. In IEEE Symposium on Security and Privacy, pages 65-71, May 1997.
7. R. Bedichek. Some efficient architecture simulation techniques. In Proceedings of the USENIX Winter 1990 Technical Conference, pages 53-64, Berkeley, CA, 1990. USENIX Association.
8. S. M. Bellovin and M. Merritt. An attack on the interlock protocol when used for authentication. IEEE Transactions on Information Theory, 40(1):273-275, January 1994.
9. Manuel Blum and Sampath Kannan. Designing programs that check their work. In ACM Symposium on Theory of Computing, pages 86-97, 1989.
10. Jin-Yi Cai, Richard J. Lipton, Robert Sedgewick, and Andrew Chi-Chih Yao. Towards uncheatable benchmarks. In Structure in Complexity Theory Conference, pages 2-11, 1993.
11. Paul C. Clark and Lance J. Hoffman. Bits: A smartcard protected operating system. Communications of the ACM, 37(11):66-94, November 1994.
12. Christian Collberg and Clark Thomborson. On the limits of software watermarking. Technical Report 164, University of Auckland Dept. of Computer Science, August 1998.
13. Christian Collberg and Clark Thomborson. Watermarking, tamper-proofing, and obfuscation-tools for software protection. Technical Report 170, University of Auckland Dept. of Computer Science, February 2000.
14. Microsoft Corporation. Microsoft "Palladium": A business overview. http://www.microsoft.com/presspass/features/2002/jul02/0724palladiumwp.asp.
15. Donald W. Davies and Wyn L. Price. Security for Computer Networks, second ed. John Wiley & Sons, second edition, 1989.
16. Whitfield Diffie and Martin E. Hellman. New directions in cryptography. IEEE Transactions on Information Theory, IT-11:644-654, November 1976.
17. Joan G. Dyer, Mark Lindemann, Ronald Perez, Reiner Sailer, Leendert van Doorn, Sean Smith, and Steve Weingart. Building the IBM 4758 secure coprocessor. IEEE Computer, 34(10):57-66, October 2001.
18. Paul England and Marcus Peinado. Authenticated operation of open computing devices. In Proceedings of the 7th Australasian Conference on Information Security and Privacy, pages 346-361. Springer-Verlag, 2002.
19. Free Software Foundation. GNU GRUB. http://www.gnu.org/software/grub/grub.html, 2003.
20. Philippe Golle and Ilya Mironov. Uncheatable distributed computations. In CT-RSA, pages 425-440, 2001.
21. D. Grover. The protection of computer software: Its technology and applications. In The British Computer Society Monographs in Informatics, chapter Program Identification. Cambridge University Press, second edition, 1992.
22. Mark Hachman. Via adds crypto to "Nehemiah", plans mobile launch. http://www.extremetech.com/article2/0,3973,838362,00.asp, 2003.
23. Fritz Hohl. Time limited blackbox security: Protecting mobile agents from malicious hosts. Lecture Notes in Computer Science, 1419:92-113, 1998.
24. VIA Technologies Inc. The VIA Padlock Data Encryption Engine. http://www.via.com.tw/en/viac3/padlock.jsp, 2003.
25. VMware, Inc. The VMware workstation simulator. http://www.vmware.com/, 2002.
26. N. Itoi, W. A. Arbaugh, J. McHugh, and W. L. Fithen. Personal secure booting. In Proceedings of the Sixth Australian Conference on Information Security and Privacy, pages 130-144, July 2001.
27. Markus Jakobsson and Ari Juels. Proofs of work and bread pudding protocols. In IFIP TC6 and TC11 Joint Working Conference on Communications and Multimedia Security (CMS '99), Leuven, Belgium. Kluwer, September 1999.
28. Steven Kent and Randall Atkinson. Security architecture for the internet protocol. IETF RFC 2401, November 1998.
29. John B. Lacy, Donald P. Mitchell, and William M. Schell. CryptoLib: Cryptography in Software. In UNIX Security Symposium IV Proceedings. USENIX Association, 1993.
30. Kevin Lawton. The Plex86 simulator. http://plex86.org/, 2002.
31. Kevin Lawton. Bochs: The Open Source IA-32 Emulation Project. http://bochs.sourceforge.net/, 2003.
32. Peter S. Magnusson, Magnus Christensson, Jesper Eskilson, Daniel Forsgren, Gustav Hallberg, Johan Högberg, Fredrik Larsson, Adreas Moestedt, and Bengt Werner. Simics: A full system simulation platform. IEEE Computer, 35(2):50-58, February 2002.
33. Peter S. Magnusson and Bengt Werner. Some efficient techniques for simulating memory. Technical Report R94-16, Swedish Institute of Computer Science, August 1994.
34. Fabian Monrose, Peter Wyckoff, and Aviel D. Rubin. Distributed execution with remote audit. In ISOC Network and Distributed System Security Symposium, pages 103-113, 1999.
35. Paul Otellini. Intel developer forum, fall 2002, keynote speech. http://www.intel.com/pressroom/archive/speeches/otellini20020909.htm.
36. Etherboot Project. Etherboot. http://www.etherboot.org/, 2003.
37. Niels Provos. Encrypted virtual memory. In Proceedings of the 9th USENIX Security Symposium. USENIX Association, 2000.
38. PyxisSystemsTechnologies. AIM/oscar protocol specification: Section 3: Connection management. http://aimdoc.sourceforge.net/faim/protocol/section3.html, 2002.
39. Ronald L. Rivest and Adi Shamir. How to expose an eavesdropper. Communications of the ACM, 27(4):393-395, April 1984.
40. John Scott Robin and Cynthia E Irvine. Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor. In Proceedings of the 9th USENIX Security Symposium. USENIX Association, 2000.
41. David Safford. The need for TCPA. http://www.research.ibm.com/gsal/tcpa/why-tcpa.pdf, October 2002.
42. R. Sandberg, D. Goldberg, S. Kleiman, D. Walsh, and B. Lyon. Design and implementation of the Sun Network Filesystem. In Summer 1985 USENIX Conference, 1985.
43. Seth Schoen. Palladium details. http://www.activewin.com/articles/2002/pd.shtml.
44. Sean W Smith, Elaine R. Palmer, and Steve Weingart. Using a high-performance, programmable secure coprocessor. In Financial Cryptography, pages 73-89,1998.
45. A.M Turing. On computable numbers: With an application to the entscheidungs problem. Proceedings of the London Mathematical Society, 42:230-265, 1936.
46. L. van Doorn, G. Ballintijn, and W. A. Arbaugh. Design and implementation of signed executables for linux. Technical Report HPL-2001-227, University of Maryland, College Park, June 2001.
47. Hal Wasserman and Manuel Blum. Software reliability via run-time result-checking. Journal of the ACM, 44(6):826-849,1997.
48. Steve R. White and Liam Comerford. ABYSS: A trusted architecture for software protection. In IEEE Symposium on Security and Privacy, pages 38-51,1987.
49. Emmett Witchel and Mendel Rosenblum. Embra: Fast and flexible machine simulation. In Measurement and Modeling of Computer Systems, pages 68-79,1996.
50. Bennet Yee. Using Secure Coprocessors. PhD thesis, Carnegie Mellon University, May 1994.