Proving secure properties of cryptographic protocols

Cheng, X., Ma, X. ORCID: 0000-0003-0074-4192, Cheng, M. and Huang, S.C.H., 2005. Proving secure properties of cryptographic protocols. In: 24th IEEE International Performance Computing and Communications Conference (IPCCC 2005), Phoenix, Arizona, 7-9 April 2005, Phoenix, Arizona.

Full text not available from this repository.
Item Type: Conference contribution
Creators: Cheng, X., Ma, X., Cheng, M. and Huang, S.C.H.
Date: 2005
Divisions: Schools > School of Science and Technology
Depositing User: EPrints Services
Date Added: 09 Oct 2015 10:30
Last Modified: 09 Jun 2017 13:31
URI: http://irep.ntu.ac.uk/id/eprint/13939

Actions (login required)

Edit View Edit View

Views

Views per month over past year

Downloads

Downloads per month over past year