Ueli M. Maurer, Pierre E. Schmid. A Calculus for Secure Channel Establishment in Open Networks. In Dieter Gollmann, editor, Computer Security - ESORICS 94, Third European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994, Proceedings. Volume 875 of Lecture Notes in Computer Science, pages 175-192, Springer, 1994. [doi]
Abstract is missing.