Syntax, semantics and type theory of a security protocol verification framework

Ma, X ORCID: https://orcid.org/0000-0003-0074-4192 and Cheng, X, 2006. Syntax, semantics and type theory of a security protocol verification framework. In: IEEE SMC UK-RI Conference on Advances in Cybernetic Systems 2006, Sheffield, September 2006, Sheffield.

Full text not available from this repository.

Item Type:	Conference contribution
Creators:	Ma, X. and Cheng, X.
Date:	2006
Divisions:	Schools > School of Science and Technology
Record created by:	EPrints Services
Date Added:	09 Oct 2015 10:45
Last Modified:	09 Jun 2017 13:37
URI:	https://irep.ntu.ac.uk/id/eprint/17646

Actions (login required)

Edit View

Statistics

Views

Downloads