Nina Moebius, Kurt Stenzel, Wolfgang Reif. Pitfalls in Formal Reasoning about Security Protocols. In ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland. pages 248-253, IEEE Computer Society, 2010. [doi]
Abstract is missing.