A Compositional Logic for Proving Security Properties of Protocols*
Journal of Computer Security - Netherlands
doi 10.3233/jcs-2003-11407
Full Text
Open PDFAbstract
Available in full text
Date
October 1, 2003
Authors
Publisher
IOS Press
Available in full text
October 1, 2003
IOS Press