A Calculus for Secure Channel Establishment in Open Networks

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]

Authors

Ueli M. Maurer

This author has not been identified. Look up 'Ueli M. Maurer' in Google

Pierre E. Schmid

This author has not been identified. Look up 'Pierre E. Schmid' in Google