第36卷第2期Vol.36No.2计算机工程ComputerEngineering•安全技术•文章编号：1000-3428(2010)02-0144—03文献标识码：A中图分类号：TP309TA4SP的认证性扩展朱文也，祝跃飞，刘楠，陈晨(信息工程大学信息工程学院，郑州450002)摘要：认证性是安全协议检测的重要特性之一，但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题，提出一•种TA4SP的认证性检测方法。该方法基于对TA4SP设计原理的分析，采用分层认证思...
