Knowledge Based Approach for Mechanically Verifying Security Protocols
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 1572-1572.
Abstract
A new knowledge-based security protocol verification approach is proposed in this paper. A number of predicates, functions, assumptions and rules are used to infer the knowledge of participating principals. These items are implemented with Isabelle, which enables mechanical proving. This approach can prove protocols concerning interleaving protocol sessions and can prove the correctness of a medium-sized security protocol in a couple of seconds. The mechanical proofs of a number of important secure properties and then of the correctness of the Needham-Schroeder-Lowe protocol are given as examples to show the effectiveness of this method.
@inproceedings{ijcai2005p305,
title = {Knowledge Based Approach for Mechanically Verifying Security Protocols},
author = {Ma, Xiaoqi and Cheng, Xiaochun and McCrindle, Rachel},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {1572--1572},
year = {2005},
url = {https://ijcai.org/proceedings/2005/305},
}
TY - CPAPER TI - Knowledge Based Approach for Mechanically Verifying Security Protocols AU - Ma, Xiaoqi AU - Cheng, Xiaochun AU - McCrindle, Rachel T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 1572 EP - 1572 UR - https://ijcai.org/proceedings/2005/305 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
