Secrecy for Bounded Security Protocols With Freshness Check Is NEXPTIME-complete*
Journal of Computer Security - Netherlands
doi 10.3233/jcs-2007-0306
Full Text
Open PDFAbstract
Available in full text
Date
November 3, 2008
Authors
Publisher
IOS Press