Proving Secure Properties of Cryptographic Protocols

Full text not archived in this repository.

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.

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

Ma, X., Cheng, X., Cheng, M. and Huang, S. (2005) Proving Secure Properties of Cryptographic Protocols. In: Proceedings of the 24th IEEE International Performance Computing and Communications Conference (IPCCC2005), Phoenix, Arizona, USA.

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

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.

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