DocumentCode
1983950
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
fYear
2010
fDate
20-22 Aug. 2010
Firstpage
1
Lastpage
4
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ITAPP.2010.5566591
Filename
5566591
Link To Document