Verifying cryptographic protocols.

Ma, X. ORCID: 0000-0003-0074-4192 and Cheng, X., 2005. Verifying cryptographic protocols. IEEE Journal of Intelligent Cybernetic Systems, 2005 (1).

Full text not available from this repository.

Item Type:	Journal article
Publication Title:	IEEE Journal of Intelligent Cybernetic Systems
Creators:	Ma, X. and Cheng, X.
Date:	2005
Volume:	2005
Number:	1
Divisions:	Schools > School of Science and Technology
Record created by:	EPrints Services
Date Added:	09 Oct 2015 10:27
Last Modified:	09 Jun 2017 13:30
URI:	https://irep.ntu.ac.uk/id/eprint/13232

Actions (login required)

Edit View

Views

Downloads