温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。
本发明涉及一种自动化协议形式化分析方法，可以适用于多种协议的安全分析。协议作为安全分析的基本手段，可以利用形式化分析模型对某种协议进行数据建模，填充字段，设计工作流程，再用自动化脚本工具进行测试。形式化分析工具可以发现协议中存在的基础性漏洞...该专利属于国网青海省电力公司电力科学研究院;国网青海省电力公司;国家电网有限公司所有，仅供学习研究参考，未经过国网青海省电力公司电力科学研究院;国网青海省电力公司;国家电网有限公司授权不得商用。