Knowledge based approach for mechanical lyverifying security protocols

Ma, X ORCID logoORCID: https://orcid.org/0000-0003-0074-4192, Cheng, X and McCrindle, R, 2005. Knowledge based approach for mechanical lyverifying security protocols. In: The Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, Scotland, 30 July - 5 August 2005, Edinburgh.

Full text not available from this repository.
Item Type: Conference contribution
Creators: Ma, X., Cheng, X. and McCrindle, R.
Date: 2005
Divisions: Schools > School of Science and Technology
Record created by: EPrints Services
Date Added: 09 Oct 2015 09:40
Last Modified: 09 Jun 2017 13:08
URI: https://irep.ntu.ac.uk/id/eprint/815

Actions (login required)

Edit View Edit View

Statistics

Views

Views per month over past year

Downloads

Downloads per month over past year