Ma, X ORCID: https://orcid.org/0000-0003-0074-4192 and Cheng, X, 2004. Verifying cryptographic protocols. In: Proceedings of the IEEESMC UK-RI 3rd Conference on Intelligent Cybernetic Systems (ICS'04), Londonderry.
Full text not available from this repository.Item Type: | Conference contribution |
---|---|
Creators: | Ma, X. and Cheng, X. |
Date: | 2004 |
Divisions: | Schools > School of Science and Technology |
Record created by: | EPrints Services |
Date Added: | 09 Oct 2015 11:04 |
Last Modified: | 09 Jun 2017 13:48 |
URI: | https://irep.ntu.ac.uk/id/eprint/22384 |
Actions (login required)
Edit View |
Statistics
Views
Views per month over past year
Downloads
Downloads per month over past year