[发明专利]基于着色Petri网的安全协议漏洞挖掘方法有效
| 申请号： | 202210497259.6 | 申请日： | 2022-05-09 |
| 公开（公告）号： | CN114900358B | 公开（公告）日： | 2023-01-06 |
| 发明（设计）人： | 马卓;李湘;刘洋;刘心晶;杨易龙;张俊伟;李腾;马建峰 | 申请（专利权）人： | 西安电子科技大学 |
| 主分类号： | H04L9/40 | 分类号： | H04L9/40;G06F21/57 |
| 代理公司： | 陕西电子工业专利中心 61205 | 代理人： | 陈宏社;王品华 |
| 地址： | 710071*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于着色Petri网的安全协议漏洞挖掘方法，其实现步骤为：基于着色Petri网CPN建模安全协议，设计安全协议模型解析工具，基于安全协议模型解析工具生成安全协议CPN模型，生成安全协议CPN模型的状态空间，获取安全协议漏洞挖掘结果。本发明通过着色Petri网CPN建模安全协议，使得在构建复杂安全协议模型的情况下，模型结构清晰且易于理解，并在安全协议CPN建模阶段引入了安全协议模型解析工具，实现了安全协议CPN模型的自动化生成，相比于现有手动CPN建模的方案，精简了安全协议CPN模型建模的步骤，极大地降低了安全协议漏洞挖掘的门槛，并且能够正确实现安全协议漏洞的挖掘。 | ||
| 搜索关键词： | 基于 着色 petri 安全 协议 漏洞 挖掘 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西安电子科技大学，未经西安电子科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202210497259.6/，转载请声明来源钻瓜专利网。
- 上一篇：一种带有降温干燥功能的中药柜
- 下一篇：一种注塑机用机械手及其操作方法
