Design and validation for a remote attestation security protocol

Tongxin Xuebao/Journal on Communications

Volumn 30, Issue 11 A, 2009, Pages 29-36

  Wang, Dan ^a   Wei, Jin Feng ^a   Zhou, Xiao Dong ^a  

^a BEIJING UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

CSP; Remote attestation; Security protocol; Trusted computing

Indexed keywords

FORMAL ANALYSIS METHOD; INTEROPERATIONS; REMOTE ATTESTATION; SECURITY PROPERTIES; SECURITY PROTOCOLS; SECURITY REQUIREMENTS; TRUST COMPUTING; TRUSTED COMPUTING;

NETWORK PROTOCOLS;

NETWORK SECURITY;

EID: 77954674606     PISSN: 1000436X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. RYAN P, SCHNEIDER S, GOLDSMITH M. Modeling and Analysis of Security Protocols: CSP[M]. Beijing: China Machine Press, 2004.
2. TCG Specification Architecture Overview Revision 1.3[M]. Trusted Computing Group, 2007.
3. SAILER R, ZHANG X, JAEGE R. Design and implementation of a TCG-based integrity measurement architecture[A]. 13th USENIX Security Symposium[C]. 2004.
4. QIN Y, FENG D G. Remote attestation sponsored by verifier[J]. Journal of Computer Research and Development, 2006, (43): 87-93.
5. ZHUO J L, LIN H L, LI X X. Security of authentication protocols involving trusted third party[J]. Application Research of Computers, 2004, 3: 109-112.
6. FENG D G, QIN Y. Research on attestation method for trust computing environment[J]. Chinese Journal of Computers, 2008, 9(31): 1640-1652.
7. CHEN J, XIAO Z, HOU Z F. Design and implementation of TPM-based remote attestation[J]. Application Research of Computers, 2007, 6(24): 64-69.
8. LIU H W, ZHU G Z. Research on attestation scheme of trusted computation platform[J]. Computer Engineering, 2006, 32(24): 149-151.
9. ZHANG Z Y, PEI Q Q, YANG L. Attestation proxy party-supported remote attestation model and its secure protocol[J]. Journal of Xidian University, 2009, 2(36): 58-63.
10. ZHAO J. Research on Key Technology of Trusted Authentication[D]. Beijing Jiaotong University, 2008.
11. XUE R, FENG D G. The approaches and technologies for formal verification of security protocols[J]. Chinese Journal of Computers, 2006, 1(29): 1-20.