一种对安全互联协议进行形式化验证的方法和系统
实质审查的生效
摘要
本发明提出一种对安全互联协议进行形式化验证的方法和系统，属于协议验证领域，针对网络安全协议形式化验证中状态空间爆炸、协议验证自动化程度低、无法获取协议攻击情况的问题。所述方法包括：步骤S1、获取待验证的安全互联协议，对所述待验证的安全互联协议进行建模，以获取安全互联协议模型，所述建模包括：加密消息建模、并发系统建模、协议推演规则建模和协议跟踪描述；步骤S2、基于所述安全互联协议模型和预设的安全互联协议的安全属性，执行对所述待验证的安全互联协议的形式化验证，并获取验证结果。
基本信息
专利标题 ：
一种对安全互联协议进行形式化验证的方法和系统
专利标题（英）：
暂无
公开（公告）号 ：
CN114500347A
申请号 ：
CN202210402333.1
公开（公告）日 ：
2022-05-13
申请日 ：
2022-04-18
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
杨林赵永望张龙马琳茹
申请人 ：
军事科学院系统工程研究院网络信息研究所
申请人地址 ：
北京市丰台区大成路13号院
代理机构 ：
中国和平利用军工技术协会专利中心
代理人 ：
周玄
优先权 ：
CN202210402333.1
主分类号 ：
H04L43/18
IPC分类号 ：
H04L43/18 H04L9/40 H04L41/14
法律状态
2022-05-31 ：
实质审查的生效
IPC(主分类) : H04L 43/18
申请日 : 20220418
申请日 : 20220418
2022-05-13 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
