Accessibility navigation


Proving Secure Properties of Cryptographic Protocols

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.

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.


Item Type:Conference or Workshop Item (Paper)
Divisions:Science
ID Code:14775

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

Page navigation