您的位置: 专家智库 > 作者详情>马娆

马娆

作品数:2 被引量:0H指数:0
供职机构:南京大学更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文专利

领域

  • 1篇自动化与计算...

主题

  • 2篇智能家居
  • 2篇实数
  • 2篇自动机
  • 2篇自动机模型
  • 2篇物联网
  • 2篇物联网系统
  • 2篇消去
  • 2篇联网
  • 2篇联网系统
  • 2篇不安
  • 2篇不安全

机构

  • 2篇南京大学

作者

  • 2篇卜磊
  • 2篇李宣东
  • 2篇王亚楠
  • 2篇沈思远
  • 2篇熊文
  • 2篇马娆
  • 2篇王熙

年份

  • 1篇2019
  • 1篇2016
2 条 记 录,以下是 1-2
排序方式:
一种智能家居物联网系统验证与修复的方法和装置
本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型,然后通过对混成自动机模型的路径分析,找出可能到达系统不安全的路径,然后将这些可达路径编码成SMT...
卜磊熊文任昕悦王熙马娆沈思远王亚楠李宣东
一种智能家居物联网系统验证与修复的方法和装置
本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型,然后通过对混成自动机模型的路径分析,找出可能到达系统不安全的路径,然后将这些可达路径编码成SMT...
卜磊熊文任昕悦王熙马娆沈思远王亚楠李宣东
文献传递
共1页<1>
聚类工具0