Hubert Comon-Lundh, Véronique Cortier. How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones. In Thomas Schwentick, Christoph Dürr, editors, 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany. Volume 9 of LIPIcs, pages 29-44, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]
Abstract is missing.