Browse by Journal
![]() | See full list of headings |
Number of items: 1.
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
[Article]
(Published online first)