Title :
Protocol Automatic Tool Based on CS Logic
Author :
Han Jinshu ; Zhang Haojun
Author_Institution :
Coll. of Inf. Sci. & Technol., Henan Univ. of Technol., Zhengzhou, China
Abstract :
A new automatic analysis tool of cryptographic protocols is presented. The tool is based on CS logic and designed by an artificial intelligence language Prolog. This paper presents the detail design of the automatic analysis tool. Many examples of protocols have been analyzed by this tool; the results show that the automatic analysis tool can achieve the desired goals.
Keywords :
PROLOG; artificial intelligence; cryptographic protocols; formal logic; CS logic; artificial intelligence language Prolog; automatic analysis tool; cryptographic protocols; modal logic; protocol automatic tool; time logic; Artificial intelligence; Cryptographic protocols; Indexes; Security; Visualization;
Conference_Titel :
Internet Technology and Applications, 2010 International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5142-5
Electronic_ISBN :
978-1-4244-5143-2
DOI :
10.1109/ITAPP.2010.5566591
