Verifying Cryptographic Protocols

Lists

Tools

Ma, X. and Cheng, X. (2005) Verifying Cryptographic Protocols. The IEEE Journal of Intelligent Cybernetics Systems, 2005 (1). 9 -14.

Full text not archived in this repository.

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Deposit Details

University of Reading