Property based attestation and trusted computing: Analysis and challenges

NSS 2009 - Network and System Security

Volumn , Issue , 2009, Pages 278-285

  Nagarajan, Aarthi ^a   Varadharajan, Vijay ^a   Hitchens, Michael ^a   Gallery, Eimear ^b  

^a MACQUARIE UNIVERSITY   (Australia)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY VALUES; DISTRIBUTED SYSTEMS; LOW LEVEL; PROPERTY-BASED ATTESTATION; REAL-WORLD SYSTEM; SECURITY PROPERTIES; TRUSTED COMPUTING;

COMPUTER SCIENCE;

NETWORK SECURITY;

EID: 72849116409     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NSS.2009.83     Document Type: Conference Paper

References (17)

1. Trusted Computing Group, TPM Main - Part 1 Design Principles, Version 1.2, Revision 103, July 2007.
2. A.-R. Sadeghi and C. Stüble, "Property-based attestation for computing platforms: Caring about properties, not mechanisms," in NSPW '04: Proceedings of the 2004 Workshop on New Security Paradigms, (New York, NY, USA), pp. 67-77, ACM, 2004.
3. J. Poritz, M. Schunter, E. V. Herreweghen, and M. Waidner, "Property attestation - scalable and privacy-friendly security assessment of peer computers," tech. rep., IBM Research, May 2004.
4. A. Nagarajan, V. Varadharajan, M. Hitchens, and S. Arora, "On the applicability of trusted computing in distributed authorization using web services," in 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security, pp. 222-237, 2008.
5. S. Yoshihama, T. Ebringer, M. Nakamura, S. Munetoh, and H. Maruyama, "WS-Attestation: Efficient and fine-grained remote attestation on web services," tech. rep., IBM Research, February 2005.
6. R. Sailer, X. Zhang, T. Jaeger, and L. van Doorn, "Design and implementation of a TCG-based integrity measurement architecture," in SSYM'04: Proceedings of the 13th conference on USENIX Security Symposium, (Berkeley, CA, USA), pp. 16-16, USENIX Association, 2004.
7. V. Haldar, D. Chandra, and M. Franz, "Semantic remote attestation: A virtual machine directed approach to trusted computing," in VM'04: Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium, (Berkeley, CA, USA), pp. 3-3, USENIX Association, 2004.
8. T. Jaeger, R. Sailer, and U. Shankar, "PRIMA: Policy-reduced integrity measurement architecture," in SACMAT '06: Proceedings of the eleventh ACM symposium on Access control models and technologies, (New York, NY, USA), pp. 19-28, ACM, 2006.
9. D. D. Clark and D. R. Wilson, "A comparison of commercial and military computer security policies," Security and Privacy, IEEE Symposium on, vol. 0, p. 184, 1987.
10. U. Shankar, "Toward automated information-flow integrity verification for security-critical applications," in In Proceedings of the 2006 ISOC Networked and Distributed Systems Security Symposium (NDSS'06, 2006.
11. X.-Y. Li, C.-X. Shen, and X.-D. Zuo, "An efficient attestation for trustworthiness of computing platform," in IIH-MSP '06: Proceedings of the 2006 International Conference on Intelligent Information Hiding and Multimedia, (Washington, DC, USA), pp. 625-630, IEEE Computer Society, 2006.
12. M. Alam, X. Zhang, M. Nauman, T. Ali, and J.-P. Seifert, "Model-based behavioral attestation," in SACMAT '08: Proceedings of the 13th ACM symposium on Access control models and technologies, (New York, NY, USA), pp. 175-184, ACM, 2008.
13. J. Park and R. Sandhu, "Towards usage control models: Beyond traditional access control," in SACMAT '02: Proceedings of the seventh ACM symposium on Access control models and technologies, (New York, NY, USA), pp. 57-64, ACM, 2002.
14. International Organization for Standardization, Information Processing Systems-Open Systems Interconnection-Basic Reference Model - Part 2: Security Architecture, ISO 7498-2, 1989.
15. J. A. Goguen and J. Meseguer, "Unwinding and inference control," in Symposium on Security and Privacy, pp. 75-86, IEE Computer Society, May 1984.
16. C. O'Halloran, "A calculus of information flow," in European Symposium on Research in Computer Society, (Toulouse, France), 1990.
17. J. McLean, "A general theory of composition for trace sets closed under selective interleaving functions," in SP '94: Proceedings of the 1994 IEEE Symposium on Security and Privacy, (Washington, DC, USA), p. 79, IEEE Computer Society, 1994.