论文部分内容阅读
针对手动方法对非安全讲议分析过程中存在的不足，提出一种用于非安全协议的混合分析方法，并在手动分析的基础上，应用形式化自动工具分析协议的脆弱性。通过将该方法应用到移动IPv6协议，发现了新的脆弱性问题。仿真实验结果表明，该方法适合分析非安全协议，能够检查协议设计中的细微脆弱性问题，具有一定的系统性和较好的完备性。