Attestation: Evidence and trust

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5308 LNCS, Issue , 2008, Pages 1-18

  Coker, George ^b   Guttman, Joshua ^a   Loscocco, Peter ^b   Sheehy, Justin ^a   Sniffen, Brian ^a  

^a MITRE CORPORATION   (United States)

^b NATIONAL SECURITY AGENCY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

COMPREHENSIVE INFORMATION; EXPLICIT SEMANTICS; NATURAL BASIS;

ARCHITECTURE;

EID: 57049135781     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88625-9_1     Document Type: Conference Paper

References (27)

1. Aboba, B., Blunk, L., Vollbrecht, J., Carlson, J., Levkowetz, H.: Extensible Authentication Protocol (EAP). RPC 3748 (Proposed Standard) (June 2004)
2. Balacheff, B., Chen, L., Pearson, S., Plaquin, D., Proudler, G. (eds.): Trusted Computing Platforms: TCPA Technology in Context. Prentice Hall PTR, Upper Saddle River (2003)
3. Chen, L., Landfermann, R., Löhr, H., Rohe, M., Sadeghi, A.-R., Stüble, C.: A protocol for property-based attestation. In: STC 2006: Proceedings, First ACM Workshop on Scalable Trusted Computing, pp. 7-16. ACM Press, New York (2006)
4. AMD Corporation. Amd64 architecture programmer's manual volume 2: System programming rev 3.11 (January 2006), http://www.amd.com/usen/assets/content- type/white-papers-and-tech-docs/24693.pdf
5. Intel Corporation. Intel trusted execution technology (November 2006), http://download.intel.com/technology/security/downloads/31516803.pdf
6. Microsoft Corporation. Ngscb official page (2007). http://www.microsoft. com/resources/ngscb/default.mspx
7. Grawrock, D.: The Intel Safer Computing Initiative. Intel Press (2006)
8. TCG Best Practices Group. Design, Implementation, and Usage Principles for TPM-Based Platforms. Version 1.0 (May 2005)
9. Guttman, I.D.: Authentication tests and disjoint encryption: a design method for security protocols. Journal of Computer Security 12(3/4), 409-433 (2004)
10. Guttman, J.D., Herzog, J.C., Ramsdell. J.D., Sniffen, B.T.: Programming cryptographic protocols. In: De Nicola. R., Sangiorgi, D. (eds.) TGC 2005. LNCS. vol. 3705, pp. 116-145. Springer, Heidelberg (2005)
11. Guttman, J.D., Thayer, F.J., Carlson, J.A., Herzog, J.C., Ramsdell, J.D., Sniffen, B.T.: Trust management in strand spaces: A rely-guarantee method. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 325-339. Springer, Heidelberg (2004)
12. Haldar, V., Chandra, D., Franz, M.: Semantic remote attestation - a virtual machine directed approach to trusted computing. In: Proceedings of the Third virtual Machine Research and Technology Symposium. May 2004, pp. 29-41. USENIX (2004)
13. Petroni Jr., N.L., Fraser, T., Molina, J., Arbaugh, W.A.: Copilot - a coprocessorbased kernel runtime integrity monitor. In: USENIX Security Symposium, pp. 179-194. USENIX (2004)
14. Katsuno, Y., Watanabe, Y., Yoshihama, S., Mishina, T., Kudoh, M.: Layering negotiations for flexible attestation. In: STC 2006: Proceedings, First ACM Workshop on Scalable Trusted Computing, pp. 17-20. ACM Press, New York (2006)
15. Kerber, R.: Advanced tactic targeted grocer: 'Malware" stole Hannaford data. The Boston Globe p. 1, 18 March (2008)
16. LOBCOCCO, P., Smalley, S.: Integrating flexible support for security policies into the linux operating system. Technical report, NSA, NAl Labs (April 2001)
17. Milien, J., Guttman, J., Ramsdell, J., Sheehy, J., Sniffen, B.: Call by contract for cryptographic protocol. In: FCS-ARSPA (2006)
18. Poritz, J.A.: Trust[ed -in] computing, signed code and the heat death of the internet. In: SAC 2006: Proceedings of the 2006 ACM symposium on Applied computing, pp. 1855-1859. ACM Press, New York (2006)
19. Sadeghi, A.-R., Stüble, C.: Property-based attestation for computing platforms: caring about properties, not mechanisms. In: NSPW 2004: Proceedings, 2004 Workshop on New Security Paradigms, pp. 67-77. ACM Press. New York (2004)
20. Seshadri, A.: Pioneer web page, http://www.cs.cmu.edu/
21. Seshadri, A., Luk, M., Shi, E., Perrig, A., van Doom, L., Khosla, P.: Pioneer: Verifying integrity and guaranteeing execution of code on legacy platforms. In: Proceedings of ACM Symposium on Operating Systems Principles (SOSP). October 2005, pp. 1-16 (2005)
22. Shi, E., Perrig, A., Van Doom, L.: BIND: A time-of-use attestation service for secure distributed systems. In: Proceedings of IEEE Symposium on Security and Privacy (May 2005)
23. Shieh, A., Williams, D., Sirer, E.G., Schneider, F.B.: Nexus: a new operating system for trustworthy computing. In: SOSP 2005: Proceedings of the twentieth ACM symposium on Operating systems principles, pp. 1-9. ACM Press, New York (2005)
24. Stone, B.: 11 charged in theft of 41 million card numbers. The New York Times, p. B 1, 5 August (2008)
25. Trusted Computing Group. TPM Main Specification, version 1.1b edition (2001), https://www.trustedcomputinggroup.org/downloads/tcg-spec-1-1b.zip
26. Trusted Computing Group. TCG Trusted Network Connect: TNC Architecture for Interoperability. Version 1.1 (May 2006)
27. Trusted Computing Group. TCG Trusted Network Connect TNC IF-IMC, Version 1.1 (May 2006)