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://reading-clone.eprints-hosting.org/id/eprint/14775 |
| Item Type | Conference or Workshop Item |
| Divisions | Science |
| Download/View statistics | View download statistics for this item |
Deposit Details
University Staff: Request a correction | Centaur Editors: Update this record
Lists
Lists