Verifying cryptographic protocols

Ma, X. ORCID: 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

Actions (login required)

Edit View Edit View


Views per month over past year


Downloads per month over past year