Bruce Christianson. Recapitulation. In Bruce Christianson, James A. Malcolm, editors, Security Protocols XVIII - 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers. Volume 7061 of Lecture Notes in Computer Science, pages 266, Springer, 2010. [doi]
Abstract is missing.