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

Views

Downloads