Verifying cryptographic protocols

Ma, X and Cheng, Xiaochun ORCID: (2005) Verifying cryptographic protocols. IEEE Journal of Intelligent Cybernetic Systems . ISSN 1746-5907 [Article] (Published online first)


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

Actions (login required)

View Item View Item