[发明专利]一种智能家居物联网系统受攻击安全验证的方法和装置有效
申请号: | 201910930600.0 | 申请日: | 2019-09-29 |
公开(公告)号: | CN110677413B | 公开(公告)日: | 2021-07-30 |
发明(设计)人: | 卜磊;张秋萍;张时雨;王熙灶;沈思远;王林章;李宣东 | 申请(专利权)人: | 南京大学 |
主分类号: | H04L29/06 | 分类号: | H04L29/06;H04L29/08;G05B19/418;G05B15/02 |
代理公司: | 江苏银创律师事务所 32242 | 代理人: | 孙计良 |
地址: | 210001 江*** | 国省代码: | 江苏;32 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种智能家居物联网系统受攻击安全验证的方法和装置。本发明根据设备描述信息和IFTTT规则构建有限状态机模型,根据预先设定的规约模板和输入的参数构建形式化规约,然后采用模型检验工具对有限状态机模型是否满足形式化规约进行正确性验证,通过模型检验工具验证输出的反例路径找出导致系统不安全的智能家居设备和相关的IFTTT规则。构建有限状态机模型时为每个智能家居设备引入是否受攻击的状态参数,构建形式化规约时全局引入攻击烈度参数。其中,攻击烈度是智能家居设备处于受攻击状态的设备数。本发明通过是否受攻击的状态参数和攻击烈度参数的引入验证智能家居物联网系统在受到常见的外部网络攻击时是否安全。 | ||
搜索关键词: | 一种 智能家居 联网 系统 攻击 安全 验证 方法 装置 | ||
【主权项】:
1.一种智能家居物联网系统受攻击安全验证的方法,其特征在于,包括以下步骤:/nS1:获取智能家居设备描述信息、设定的智能家居设备之间的IFTTT规则、设定的攻击烈度设备禁止性行为参数;所述攻击烈度设备禁止性行为参数包括攻击烈度阈值、智能家居设备参数和禁止性状态参数,用以表示在攻击烈度不超过所述攻击烈度阈值时所述智能家居设备参数所指向的智能家居设备不能出现所述禁止性状态参数所表示的状态;所述攻击烈度是智能家居设备处于受攻击状态的设备数;/nS2:根据所述的智能家居设备描述信息、所述的智能家居设备之间的IFTTT规则、智能家居设备是否受攻击的状态以及在受攻击状态下智能家居设备无法接受外部迁移指令和设备数据不真实的限制性假设条件,构建智能家居设备状态变迁的有限状态机模型;/nS3:根据预先设定的攻击烈度规约模板和所述的攻击烈度设备禁止性行为参数构建有关攻击烈度的形式化规约;所述攻击烈度规约模板是描述所述攻击烈度设备禁止性行为参数内攻击烈度阈值、智能家居设备参数和禁止性状态参数之间表示攻击烈度设备禁止性行为的规约模板;/nS4:根据所述的有限状态机模型和所述的有关攻击烈度的形式化规约转换成模型检验工具所对应输入格式的模型描述文档内容;/nS5:采用所述模型检验工具对所述的模型描述文档内容进行规约正确性验证;若规约验证正确,则表示系统安全,否则输出反例路径;/nS6:根据所述模型检验工具所输出的反例路径,找出导致系统不安全的智能家居设备和相关的IFTTT规则。/n
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于南京大学,未经南京大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201910930600.0/,转载请声明来源钻瓜专利网。