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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call