Advanced search

Verifying Cryptographic Protocols

Download
Full text not archived in this repository.
Advice

Please see our End User Agreement.

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

Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email
Lists

Ma, X. and Cheng, X. (2004) Verifying Cryptographic Protocols. In: Proceedings of the IEEE SMC UK & RI 3rd Workshop on Intelligent Cybernetic Systems, Londonderry, Northern Ireland.

Item Type Conference or Workshop Item (Paper)
URI https://centaur.reading.ac.uk/id/eprint/14773
Divisions Science
Download/View statistics View download statistics for this item
Download
Full text not archived in this repository.
Tools
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email
Advice

Please see our End User Agreement.

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

Lists
Deposit Details

University Staff: Request a correction | Centaur Editors: Update this record