NSL协议相关论文
提出一种基于改进认证测试理论的高效安全协议验证算法——AAAP(Automatic Analyzer for Authentication Protocols)算法。利用认证......
逻辑化方法是当前分析密码协议安全性的重要方法.本文通过运用一种新的认证逻辑系统,给出NSL认证协议的形式化分析证明,并提出协议改......