Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke. Selecting theories and nonce generation for recursive protocols. In Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel, editors, Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007. pages 61-70, ACM, 2007. [doi]
Abstract is missing.