Verifying cryptographic protocols

Ma, X and Cheng, Xiaochun ORCID logoORCID: https://orcid.org/0000-0003-0371-9646 (2005) Verifying cryptographic protocols. IEEE Journal of Intelligent Cybernetic Systems . ISSN 1746-5907 [Article] (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: 09 Sep 2021 10:35
URI: https://eprints.mdx.ac.uk/id/eprint/28079

Actions (login required)

View Item View Item

Statistics

DownloadsShow export options
Activity Overview
6 month trend
0Downloads
6 month trend
137Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)