Verifying cryptographic protocols
Article
Ma, X. and Cheng, X. 2005. Verifying cryptographic protocols. IEEE Journal of Intelligent Cybernetic Systems.
Type | Article |
---|---|
Title | Verifying cryptographic protocols |
Authors | Ma, X. and Cheng, X. |
Abstract | Verifying Cryptographic Protocols |
Publisher | IEEE |
Journal | IEEE Journal of Intelligent Cybernetic Systems |
ISSN | 1746-5907 |
Publication dates | |
Online | 26 Oct 2005 |
Publication process dates | |
Deposited | 11 Nov 2019 |
Accepted | 26 Sep 2005 |
Language | English |
Permalink -
https://repository.mdx.ac.uk/item/8890y
40
total views0
total downloads2
views this month0
downloads this month