Invariant-Based Reasoning About Parameterized Security Protocols
Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-009-0104-0
Full Text
Open PDFAbstract
Available in full text
Date
February 4, 2009
Authors
Publisher
Springer Science and Business Media LLC