类型错误攻击相关论文
对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Needham-Schroeder协议进行了分析,指出Needharm-......
指出了串空间模型中认证性测试方法存在的不足：1．分析认证性的过程中未考虑同一协议主体同时以不同身份参与协议运行的情况；2．分析认证......
