1. Multos: The Multos Specification
2. Casper: A Compiler for the Analysis of Security Protocols, Journal of Computer Security (June 1998)
3. FIPS 180-2: Secure Hash Standard, SHS (2002)
4. GlobalPlatform Card Security Requirement Specification 1.0 (May 2003)
5. ISO/IEC 7816-5, Information Technology - Identification cards - Integrated Circuit(s) cards with contacts - Part 5: Numbering systems and registration procedure for application identifiers, International Organization for Standardization (2004)