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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have