Accessibility navigation

Knowledge Based Approach for Mechanically Verifying Security Protocols

Tools

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
Deposit Details

Repository Staff Only: item control page

Page navigation

See also