A Calculus for Secure Channel Establishment in Open Networks. - Ueli M. Maurer; Pierre E. Schmid (ESORICS, 1994)

A Calculus for Security Bootstrapping in Distributed Systems. - Ueli M. Maurer; Pierre E. Schmid (J. Comput. Secur., 1996)