The Design of an Automatic Protocol Analysis Tool Based on BAN—like Logics
Qian Wang · 2010
BAN-like logics are widely applied to analyze security protocols since they are simple and convenient.An automatic analysis tool is developed using programming language prolog based on BAN-like logics.The results of experiments show that the tool can be applied for analyzing the correctness and authentication of secure protocols precisely and effectively.