Applying protocol analysis to security device interfaces

IEEE Security and Privacy

Volumn 4, Issue 4, 2006, Pages 84-87

  Herzog, Jonathan ^a  

^a MITRE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TELLER MACHINES; COMPUTER CRIME; CRYPTOGRAPHY; IDENTIFICATION (CONTROL SYSTEMS); INTERFACES (COMPUTER); NETWORK PROTOCOLS; PROBLEM SOLVING;

APPLYING PROTOCOL ANALYSIS; PERSONAL IDENTIFICATION NUMBERS (PIN); SECURITY DEVICE INTERFACES; TRUSTED PLATFORM MODULE (TPM);

SECURITY SYSTEMS;

EID: 33747255010     PISSN: 15407993     EISSN: None     Source Type: Journal    
DOI: 10.1109/MSP.2006.85     Document Type: Review

References (13)

1. S.W. Smith, "Fairy Dust, Secrets, and the Real World," IEEE Security & Privacy, vol. 1, no. 1., 2003, pp. 89-93.
2. S.W. Smith and S.H. Weingart, "Building a High-Performance, Programmable Secure Coprocessor." Computer Networks, special issue on computer network security, vol. 31, Apr. 1999, pp. 831-860.
3. D.B. Johnson et al., "Common Cryptographic Architecture Cryptographic Application Programming Interface," IBM Systems J., vol. 30, no. 2, 1991, p. 130; www.research.ibm.com/journal/sj/302/ibmsj3002C.pdf.
4. M. Bond, Attacks on Cryptoprocessor Transaction Sets, LNCS 2162, Springer-Verlag, 2001, pp. 220-234.
5. TPM v 1.2 Specification Changes, Trusted Computing Group, Oct. 2003; www.trustedcomputing-group.org/groups/tpm/TPM_1_2_Changes_final.pdf.
6. M. Bond, Understanding Security APIs, PhD thesis, Univ. of Cambridge Computer Lab., June 2004.
7. M. Bond, S. Murdoch, and D. Cvrcek, Unwrapping the Chrysalis, tech. report, Univ. of Cambridge Computer Lab., June 2004.
8. W. McCune, Otter 3.3 Reference Manual, Argonne Nat'l Lab., 2003.
9. Failures-Divergence Refinement: FDR 2 User Manual, tech. report, Formal Systems, 1997; www.formal.demon.co.uk/.
10. J. Kohl and C. Neuman, The Kerberos Network Authentication Service (version 5), IETF RFC 1510, Sept. 1993; www.ietf.org/rfc/rtc1510.txt.
11. T. Ylonen and C. Lonivk, SSH Protocol Architecture, IETF RFC 4251, Jan. 2006; www.ietf.org/rfc/rfc4251.txt.
12. T. Dierks and C. Allen, The TLS Protocol, IETF RFC 2246, Jan. 1999; www.ietf.org/rfc/rfc2246.txt.
13. M. Bond and Jolyon Clulow, "Extending Security Protocol Analysis: New Challenges," Electronic Notes in Theoretical Computer Science., vol. 125, no. 1, 2005, pp. 13-24.