Formal Methods for Assuring Security of Protocols
Computer Journal - United Kingdom
doi 10.1093/comjnl/45.1.46
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2002
Authors
Publisher
Oxford University Press (OUP)
Available in full text
January 1, 2002
Oxford University Press (OUP)