Mechanical verification of cryptographic protocols

Ma, X ORCID logoORCID: https://orcid.org/0000-0003-0074-4192, Cheng, X, Huang, S and Cheng, M, 2008. Mechanical verification of cryptographic protocols. In: Huang, S, MacCallum, D and Du, DZ, 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 Edit View

Statistics

Views

Views per month over past year

Downloads

Downloads per month over past year