Title: The modelling and analysis of security protocols
First published: 2001
Subjects: Mathematical models, Computers, Computer security, Cryptography, Access control, Computer networks, security measures, Computer network protocols, Computer networks, Security measures, Computer software, Verification, Computer networks--security measures, Computer security--mathematical models, Computer software--verification, Computers--access control, Qa76.9.a25 r93 2001, Tk5105.59 .r93 2001
LC classification: QA76.9.A25 R93 2001