Sigrid Gürgens, René Peralta. Validation of Cryptographic Protocols by Efficient Automated Testing. In James N. Etheredge, Bill Z. Manaris, editors, Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA. pages 7-12, AAAI Press, 2000.
Abstract is missing.