Mechanical verification of cryptographic protocols

Ma, X. ORCID: 0000-0003-0074-4192, Cheng, X., Huang, S. and Cheng, M., 2008. Mechanical verification of cryptographic protocols. In: S. Huang, D. MacCallum and D.Z. Du, eds., Network security. Springer.

Full text not available from this repository.

Item Type:	Chapter in book
Creators:	Ma, X., Cheng, X., Huang, S. and Cheng, M.
Publisher:	Springer
Date:	2008
Divisions:	Schools > School of Science and Technology
Record created by:	EPrints Services
Date Added:	09 Oct 2015 11:07
Last Modified:	09 Jun 2017 13:49
URI:	https://irep.ntu.ac.uk/id/eprint/23063

Actions (login required)

Edit View

Views

Downloads