[发明专利]一种基于形式化验证的物联网协议安全性自动分析方法与系统有效
| 申请号： | 202010969096.8 | 申请日： | 2020-09-15 |
| 公开（公告）号： | CN112153030B | 公开（公告）日： | 2022-04-12 |
| 发明（设计）人： | 纪守领;王琴应;陈建海;林昶廷;赵彬彬 | 申请（专利权）人： | 杭州弈鸽科技有限责任公司 |
| 主分类号： | H04L9/40 | 分类号： | H04L9/40;H04L43/18;H04L67/12 |
| 代理公司： | 杭州求是专利事务所有限公司 33200 | 代理人： | 郑海峰 |
| 地址： | 311100 *** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了基于形式化验证的物联网协议安全性自动分析方法与系统，其中方法包括：基于物联网协议状态机构建协议需满足的安全属性，对物联网协议和其需满足的安全属性自动实现形式化描述，应用两种攻击场景对攻击者能力进行建模,基于动态优先策略实现形式化验证。本发明的基于形式化验证的物联网协议安全性自动分析方法能高效地将MQTT、CoAP和AMQP协议部署在多个物联网平台上的协议状态机转换为形式化语言，并进行自动化、系统性的安全分析。 | ||
| 搜索关键词： | 一种 基于 形式化 验证 联网 协议 安全性 自动 分析 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于杭州弈鸽科技有限责任公司，未经杭州弈鸽科技有限责任公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010969096.8/，转载请声明来源钻瓜专利网。
