Accessibility navigation


Knowledge Based Approach for Mechanically Verifying Security Protocols

Ma, X., Cheng, X. and McCrindle, R.J. (2005) Knowledge Based Approach for Mechanically Verifying Security Protocols. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, Scotland.

Full text not archived in this repository.


Item Type:Conference or Workshop Item (Paper)
Divisions:Faculty of Science > School of Systems Engineering
ID Code:14776

University Staff: Request a correction | Centaur Editors: Update this record

Page navigation