IEEE - Institute of Electrical and Electronics Engineers, Inc. - Protocol Automatic Tool Based on CS Logic

2010 International Conference on Internet Technology and Applications (iTAP)

Author(s): Han Jinshu ; Zhang Haojun
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2010
Conference Location: Wuhan, China, China
Conference Date: 20 August 2010
Page(s): 1 - 4
ISBN (CD): 978-1-4244-5143-2
ISBN (Paper): 978-1-4244-5142-5
DOI: 10.1109/ITAPP.2010.5566591
Regular:

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... View More

Advertisement