What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis
doi 10.21236/ada463937
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2003
Authors
Publisher
Defense Technical Information Center