龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：中国人民解放军军事科学院系统工程研究院
摘要：本发明提出一种网络协议组合形式化验证方法，属于形式化验证技术领域。所述方法在网络协议设计阶段，针对网络协议所需要的信息安全性、功能安全性和密码学可靠性进行有效形式化验证，使得网络协议代码在实现前即被检测出潜在安全缺陷，且所述潜在安全缺陷中不存在虚假反例。
主权项：1.一种网络协议组合形式化验证方法，其特征在于：所述方法在网络协议设计阶段，针对网络协议所需要的信息安全性、功能安全性和密码学可靠性进行有效形式化验证，使得网络协议代码在实现前即被检测出潜在安全缺陷，且所述潜在安全缺陷中不存在虚假反例；所述方法包括：步骤S1、获取网络协议设计文档Doc，对网络协议设计文档Doc进行应用PI演算形式化建模，从而得到第一形式化模型，通过自动化验证器ProVerif对第一形式化模型执行针对信息安全性的自动化验证，得到具有信息安全性保障的网络协议设计文档DocS；步骤S2、对网络协议设计文档DocS进行基于Promela语言的经典模型检测建模，从而得到第二形式化模型，通过自动化验证器SPIN对所述第二形式化模型执行针对功能安全性的自动化验证，得到反例集合π，所述反例集合π包括真实反例和虚假反例；步骤S3、对反例集合π中的各个反例进行分类，针对不同类别的反例采用不同的验证方式执行虚假反例筛除，得到仅包括违反网络协议功能安全性的真实反例集合π’，并利用真实反例集合π’修正网络协议设计文档DocS，从而得到具有信息安全性、功能安全性保障的网络协议设计文档DocSS；步骤S4、对网络协议设计文档DocSS进行应用Blanchet演算形式化建模，从而得到第三形式化模型，通过自动化验证器CryptoVerif对所述第三形式化模型执行针对密码学可靠性的自动化验证，得到具有信息安全性、功能安全性、密码学可靠性保障的网络协议设计文档DocSSS。
全文数据：
权利要求：
百度查询： 中国人民解放军军事科学院系统工程研究院 一种网络协议组合形式化验证方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号