Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi. Simulation and Analysis of Cryptographic Protocols. In Bhavani M. Thuraisingham, Reind P. van de Riet, Klaus R. Dittrich, Zahir Tari, editors, Data and Application Security, Development and Directions, IFIP TC11/ WG11.3 Fourteenth Annual Working Conference on Database Security, Schoorl, The Netherlands, August 21-23, 2000. Volume 201 of IFIP Conference Proceedings, pages 89-100, Kluwer, 2000.
Abstract is missing.