您所在的位置： 首页 > 专利技术 > 正文
专利基本信息
专利名称 一种智能家居物联网系统受攻击安全验证的方法和装置
专利状态 - 专利号（申请号） CN110677413B
专利申请日期 2019-09-29 专利类型 发明专利
申请公布号 2019109306000 申请公布日 2019-09-29
授权公告号 - 授权公告日 -
发明人 卜磊;张秋萍;张时雨;王熙灶;沈思远;王林章;李宣东
专利权人 南京大学
专利摘要 本发明公开了一种智能家居物联网系统受攻击安全验证的方法和装置。本发明根据设备描述信息和IFTTT规则构建有限状态机模型,根据预先设定的规约模板和输入的参数构建形式化规约,然后采用模型检验工具对有限状态机模型是否满足形式化规约进行正确性验证,通过模型检验工具验证输出的反例路径找出导致系统不安全的智能家居设备和相关的IFTTT规则。构建有限状态机模型时为每个智能家居设备引入是否受攻击的状态参数,构建形式化规约时全局引入攻击烈度参数。其中,攻击烈度是智能家居设备处于受攻击状态的设备数。本发明通过是否受攻击的状态参数和攻击烈度参数的引入验证智能家居物联网系统在受到常见的外部网络攻击时是否安全。
专利价值评估分析
专利价值评估分析 样例
相关推荐
技术专利 技术专家 技术成果
一种制备硬炭微球的方法
专利号：ZL202111152692.8
发明专利
一种新型改良胃管
专利号：2025206587164
实用新型专利
一种Sr、Ni和Cr共掺杂LaAlO3陶瓷材料的制备方法及其产品
专利号：2020107027903
发明专利
一种洗鞋机
专利号：202520654594.1
实用新型专利
一种管束结构流致振动的非接触位移测试方法
专利号：ZL202110528741.7
发明专利
电动滚轮式按摩躺椅
专利号：202421582590.9
实用新型专利
一种秸秆压扁折弯划切定向喂入方法及其装置
本发明涉及一种秸秆压扁折弯划切定向喂入方法及其装置,包括以下步骤：步骤(1)、对秸秆进行压扁,具体为...
行业：烘炉、风机、包装等设备制造
一种快速室内鉴定向日葵抗列当水平的方法
本发明涉及一种室内条件下快速诱导向日葵列当萌发的方法,即培养皿滤纸法,及其在向日葵抗列当水平鉴定中的...
行业：谷物种植
生物活性肽精准制备技术研究与应用
以药食同源动植物主要原料，综合运用双酶切、膜过滤等现代食品加工，研制出分子量在400-500Da， ...
行业：生物药品制品制造
一种浅碟型串珠状波浪式排土场截排水系统
本发明公开了一种浅碟型串珠状波浪式排土场截排水系统,包括：坡面降雨防溅击治理区、坡面降雨防溅击治理区...
行业：环境治理业
一种捕食线虫性真菌的培养方法
本发明属于微生物学领域,提出一种捕食线虫性真菌的培养方法,包括步骤：1)在无菌条件下,将生长在玉米粉...
行业：生物药品制品制造
一株德氏乳杆菌保加利亚亚种MGA17#6 及其用途
本发明涉及一株德氏乳杆菌保加利亚亚种(Lactobacillus#delbrueckii#subsp...
行业：其他食品制造
Baidu
map