Verifying Cryptographic Protocols

Lists

Download

Full text not archived in this repository.

Tools

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://reading-clone.eprints-hosting.org/id/eprint/14773
Item Type	Conference or Workshop Item
Divisions	Science
Download/View statistics	View download statistics for this item

Deposit Details

Date Deposited:	26 Oct 2010 16:11	Date item deposited into CentAUR
Last Modified:	09 Jul 2021 07:57	Date item last modified

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

Search Google Scholar