一种时间相关安全协议的自动验证工具

？设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑tcpl为基础,以xml语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。