A Calculus for Secure Channel Establishment in Open Networks.

Ueli M. Maurer, Pierre E. Schmid

Browse the full ESORICS paper archive.