Accessibility navigation

Knowledge Based Approach for Mechanically Verifying Security Protocols

Lists
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.

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.


Item Type:Conference or Workshop Item (Paper)
Divisions:Life Sciences > School of Biological Sciences > Department of Bio-Engineering
ID Code:14776
Deposit Details

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

Page navigation

See also