What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis.

Catherine Meadows

Browse the full ESOP paper archive.