Verifying cryptographic protocols

Ma, X and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2005) Verifying cryptographic protocols. IEEE Journal of Intelligent Cybernetic Systems . ISSN 1746-5907 (Published online first)

Abstract

Verifying Cryptographic Protocols

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 28079
Useful Links:
Depositing User: Xiaochun Cheng
Date Deposited: 11 Nov 2019 10:33
Last Modified: 11 Nov 2019 10:33
URI: https://eprints.mdx.ac.uk/id/eprint/28079

Actions (login required)

Edit Item Edit Item