Skip to content

Extending Cryptographic Logics of Belief to Key Agreement Protocols.

Paul C. van Oorschot

VenueA*CCS
Year1993
ProceedingsCCS

Browse the full CCS paper archive.