Tom Coffey, Reiner Dojen, Tomas Flanagan. On Different Approaches to Establish the Security of Cryptographic Protocols. In Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Security and Management, SAM 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2. pages 637-643, CSREA Press, 2003.
Abstract is missing.