Experimental result shows that the tool can simplify the proving process,and improve the efficiency of security protocols verification.

• 实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。