Model checking of trusted cryptographic module

Tongxin Xuebao/Journal on Communications

Volumn 31, Issue 1, 2010, Pages

  Chen, Xiao Feng ^a   Feng, Deng Guo ^a  

^a INSTITUTE OF SOFTWARE   (China)

Author keywords

Model checking; Trusted computing platform; Trusted cryptographic module

Indexed keywords

CRYPTOGRAPHIC MODULE; FORMAL SECURITY ANALYSIS; MODEL CHECKING TOOLS; SECURITY PROPERTIES; TRUSTED COMPUTING PLATFORM; TRUSTED CRYPTOGRAPHIC MODULE;

NETWORK SECURITY;

MODEL CHECKING;

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

References (12)

1. Trusted computing group[EB/OL]. http://www.trustedcomputinggroup.org.
2. BARRETT M. Towards an open trusted computing framework[A]. MSc Thesis[C]. 2005.
3. BRUSCHI D, CAVALLARO L, LANZI A, et al. Replay attack in TCG specification and solution[A]. 21th Annual Computer Security Application Conference (ACSAC)[C]. Tucson, AZ, USA, 2005.
4. YOUN P. The Analysis of Cryptographic APIs Using the Theorem Prover Otter[M]. MIT Press, 2004.
5. KURSAWE K, SCHELLEKENS D, PRENEEL B. Analyzing trusted platform communication[A]. CRASH Workshop: Cryptographic Advances in Secure Hardware[C]. 2005.
6. KAUER B. OSLO: Improving the security of Trusted Computing[R]. Technical Report, Technische University Dresden, Department of Computer Science, 2007.
7. KOCHER P C, JAFFE J, JUN B. Differential power analysis[A]. CRYPTO'99: Proceedings of the 19th Annual International Cryptology Conference on Advances in Cryptology[C]. London, UK, Springer-Verlag, 1999. 388-397.
8. KOCHER P C. Timing attacks on implementations of diffie-hellman, RSA, DSS, and other systems[A]. CRYPTO'96: Proceedings of the 16th Annual International Cryptology Conference on Advances in Cryptology[C]. London, UK, Springer-Verlag, 1996. 104-113.
9. BONEH D, BRUMLEY D. Remote timing attacks are practical[A]. Proceedings of the 12th USENIX Security Symposium[C]. 2003.
10. JOSANG A. Security protocol verification using SPIN[A]. SPIN'95 Workshop[C]. 1995.
11. MAGGI P, SISTO R. Using SPIN to verify security properties of cryptographic protocols[A]. SPIN'2002 Workshop[C]. 2002.
12. SON P. A taxonomy of replay attacks[A]. Proceedings of the 7th IEEE Computer Security Foundations Workshop[C]. 1994.