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

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