The following publications are possibly variants of this publication:
- Cryptographically sound security proofs for basic and public-key KerberosMichael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay. ijisec, 10(2):107-134, 2011. [doi]
- Cryptographically Sound Security Proofs for Basic and Public-Key KerberosMichael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay. iacr, 2006:219, 2006. [doi]
- Computationally sound mechanized proofs for basic and public-key KerberosBruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay. ccs 2008: 87-99 [doi]
- A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key ProtocolMichael Backes, Birgit Pfitzmann. fsttcs 2003: 1-12 [doi]
- A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocolMichael Backes, Birgit Pfitzmann. jsac, 22(10):2075-2086, 2004. [doi]
- A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment SystemMichael Backes, Markus Dürmuth. csfw 2005: 78-93 [doi]
- A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key ProtocolMichael Backes, Birgit Pfitzmann. iacr, 2003:121, 2003. [doi]
- A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees ProtocolMichael Backes. esorics 2004: 89-108 [doi]