Panel Session: Is Protocol Modelling Finished?

Michael Roe. Panel Session: Is Protocol Modelling Finished?. In Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe, editors, Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers. Volume 3364 of Lecture Notes in Computer Science, pages 213-217, Springer, 2003. [doi]

Abstract

Abstract is missing.