Component property based remote attestation

Ruan Jian Xue Bao/Journal of Software

Volumn 20, Issue 6, 2009, Pages 1625-1641

  Qin, Yu ^a,b   Feng, Deng Guo ^a  

^a INSTITUTE OF SOFTWARE   (China)

^b UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

Property base attestation; Remote attestation; Security proof; Strong RSA assumption; TPM (trusted platform module); Trusted computing

Indexed keywords

PROPERTY-BASE ATTESTATION; REMOTE ATTESTATION; SECURITY PROOF; STRONG RSA ASSUMPTION; TPM (TRUSTED PLATFORM MODULE); TRUSTED COMPUTING;

EID: 67649422152     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1001.2009.03343     Document Type: Article

References (15)

1. TCG Group. TPM main part 1, design principles specification. Version 1.2. 2003. https://www.trustedcomputinggroup.org/home
2. TCG Group. TCG architecture overview specification. 2004. https://www.trustedcomputinggroup.org/home
3. TCG Group. TCG software stack (TSS) specification. Version 1.10. 2003. https://www.trustedcomputinggroup.org
4. Sailer R, Zhang XL, Jaeger T, Doorn LV. Design and implementation of a TCG-based integrity measurement architecture. In: Proc. of the 13th Usenix Security Symp. San Diego: Usenix Press, 2004. 16-16.
5. Smith S. Trusted Computing Platforms-Design and Applications. New York: Springer-Verlag, 2005. 193-194.
6. Seshadri A, Perrig A, Doorn LV, Khosla P. SWATT: Software-Based attestation for embedded devices. In: Proc. of the IEEE Security and Privacy Conf. Oakland: IEEE Press, 2004. 272-282.
7. Garfinkel T, Rosenblum M, Boneh D. Flexible OS support and applications for trusted computing. In: Proc. of the 9th Workshop on Hot Topics in, Operating Systems (HotOS IX). Hawaii: Usenix Association, 2003. 25-25.
8. Haldar V, Chandra D, Franz M. Semantic remote attestation: A virtual machine directed approach to trusted computing. In: Proc. of the USENIX Virtual Machine Research and Technology Symp. San Jose: Usenix Press, 2004. 29-41.
9. Poritz J, Schunter M, Herreweghen EV, Waidner M. Property attestation-Scalable and privacy-friendly security assessment of peer computers. IBM Research Report, RZ 3548, 2004.
10. Sadeghi A, Stüble C. Property-Based attestation for computing platforms: Caring about properties, not mechanisms. In: Proc. of the New Security Paradigms Workshop. Nova Scotia: ACM Press, 2004. 67-77.
11. Chen LQ, Landfermann R, Löhr H, Stüble C. A protocol for property-based attestation. In: Proc. of the 1st ACM Workshop on Scalable Trusted Computing. Nova Scotia: ACM Press, 2006. 7-16.
12. Camenisch J, Lysyanskaya A. A signature scheme with efficient protocols. In: Proc. of the Security in Communication Networks, the 3rd Int'l Conf., SCN 2002. Amalfi: Springer-Verlag, 2002. 268-289.
13. TCG Group. TCG trusted network connect TNC IF-TNCCS specification. Version 1.1. 2007. https://www.trustedcomputinggroup.org/home
14. Bellare M, Rogaway P. Random oracles are practical: A paradigm for designing efficient protocols. In: Proc. of the 1st CCS. New York: ACM Press, 1993. 62-73.
15. Canetti R. Security and composition of multi-party cryptographic protocols. Journal of Cryptology, 2000, 13(1): 143-202.