Accessibility navigation

Verifying Cryptographic Protocols

Lists
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.

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:14773
Deposit Details

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

Page navigation

See also