一种基于形式化验证的物联网协议安全性自动分析方法与系统
授权
摘要
本发明公开了基于形式化验证的物联网协议安全性自动分析方法与系统，其中方法包括：基于物联网协议状态机构建协议需满足的安全属性，对物联网协议和其需满足的安全属性自动实现形式化描述，应用两种攻击场景对攻击者能力进行建模,基于动态优先策略实现形式化验证。本发明的基于形式化验证的物联网协议安全性自动分析方法能高效地将MQTT、CoAP和AMQP协议部署在多个物联网平台上的协议状态机转换为形式化语言，并进行自动化、系统性的安全分析。
基本信息
专利标题 ：
一种基于形式化验证的物联网协议安全性自动分析方法与系统
专利标题（英）：
暂无
公开（公告）号 ：
CN112153030A
申请号 ：
CN202010969096.8
公开（公告）日 ：
2020-12-29
申请日 ：
2020-09-15
授权号 ：
CN112153030B
授权日 ：
2022-04-12
发明人 ：
纪守领王琴应陈建海林昶廷赵彬彬
申请人 ：
杭州弈鸽科技有限责任公司
申请人地址 ：
浙江省杭州市余杭区五常街道
代理机构 ：
杭州求是专利事务所有限公司
代理人 ：
郑海峰
优先权 ：
CN202010969096.8
主分类号 ：
H04L29/06
IPC分类号 ：
H04L29/06 H04L12/26 H04L29/08
法律状态
2022-04-12 ：
授权
2021-01-15 ：
实质审查的生效
IPC(主分类) : H04L 29/06
申请日 : 20200915
申请日 : 20200915
2020-12-29 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
