First-Order Verification of Cryptographic Protocols
Journal of Computer Security - Netherlands
doi 10.3233/jcs-2003-11203
Full Text
Open PDFAbstract
Available in full text
Date
April 1, 2003
Authors
Publisher
IOS Press
Available in full text
April 1, 2003
IOS Press