Ho Chung, Clifford Neuman. Modelling the relative strength of security protocols. In Günter Karjoth, Fabio Massacci, editors, Proceedings of the 2nd ACM Workshop on Quality of Protection, QoP 2006, Alexandria, VA, USA, October 30, 2006. pages 45-48, ACM, 2006. [doi]
Abstract is missing.