Tadashi Araragi, Olivier Pereira. Automatic Verification of Simulatability in Security Protocols. In Massimiliano Rak, Ajith Abraham, Valentina Casola, editors, Proccedings of the Fourth International Conference on Information Assurance and Security, IAS 2008, September 8-10, 2008, Napoli, Italy. pages 275-280, IEEE Computer Society, 2008. [doi]
Abstract is missing.