Christoph Sprenger, David A. Basin. Developing security protocols by refinement. In Ehab Al-Shaer, Angelos D. Keromytis, Vitaly Shmatikov, editors, Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010. pages 361-374, ACM, 2010. [doi]
Abstract is missing.