Automated verification tool for time-dependent cryptographic protocols
一种时间相关安全协议的自动验证工具

An automated verification tool for analyzing time-dependent cryptographic protocol was proposed and implemented. Based on Time-dependent Cryptographic Protocol Logic (TCPL), the tool completed verifying the goals of cryptographic protocols automatically by the method of layered logic tree and using XML as its specification language. Experimental result shows that the tool can simplify the proving process, and improve the efficiency of security protocols verification.