A framework for cryptographic protocol analysis using linear temporal logic

Alabdulatif, A., Ma, X. ORCID: 0000-0003-0074-4192 and Nolle, L., 2012. A framework for cryptographic protocol analysis using linear temporal logic. In: International Conference on Information Society (i-Society 2012), London, June 2012, London.

Full text not available from this repository.
Item Type: Conference contribution
Creators: Alabdulatif, A., Ma, X. and Nolle, L.
Date: 2012
Divisions: Schools > School of Science and Technology
Record created by: EPrints Services
Date Added: 09 Oct 2015 10:16
Last Modified: 09 Jun 2017 13:24
URI: https://irep.ntu.ac.uk/id/eprint/10458

Actions (login required)

Edit View Edit View

Views

Views per month over past year

Downloads

Downloads per month over past year