Formal Requirements for Key Distribution Protocols.

Paul F. Syverson, Catherine Meadows

Browse the full EuroCrypt paper archive.