您的位置： 专家智库 > >

沈思远

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

合作作者

文献类型

  • 6篇专利
  • 1篇学位论文

领域

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

主题

  • 4篇智能家居
  • 4篇物联网
  • 4篇物联网系统
  • 4篇联网
  • 4篇联网系统
  • 2篇代码
  • 2篇代码优化
  • 2篇堆栈
  • 2篇实数
  • 2篇数据副本
  • 2篇数字加密
  • 2篇状态机
  • 2篇状态机模型
  • 2篇自动机
  • 2篇自动机模型
  • 2篇外部网
  • 2篇外部网络
  • 2篇网络
  • 2篇消去
  • 2篇进制

机构

  • 7篇南京大学

作者

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

年份

  • 1篇2022
  • 3篇2021
  • 1篇2020
  • 1篇2019
  • 1篇2016
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
基于符号执行的以太坊智能合约字节码优化研究
区块链是随着比特币等加密货币的发展而受到广泛关注的一种全新的分布式计算范式。智能合约是运行在区块链平台上的计算机程序帮助用户管理数字资产。以太坊作为当前最主流的区块链平台之一,内置了编程语言Solidity供普通用户编写...
沈思远
关键词：区块链
文献传递
一种智能家居物联网系统验证与修复的方法和装置
本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型，然后通过对混成自动机模型的路径分析，找出可能到达系统不安全的路径，然后将这些可达路径编码成SMT...
卜磊熊文任昕悦王熙马娆沈思远王亚楠李宣东
一种基于符号执行的栈操作二进制代码优化方法和装置
本发明公开了一种基于符号执行的栈操作二进制代码优化方法和装置。本发明所涉及的栈操作二进制代码用于数字加密系统时，对存储空间操作比较耗费资源。为减少存储空间操作的资源耗费，本发明以栈空间为缓存，在第一次对存储空间操作时，将...
卜磊沈思远郭育鲲朱梓源李宣东
文献传递
一种智能家居物联网系统受攻击安全验证的方法和装置
本发明公开了一种智能家居物联网系统受攻击安全验证的方法和装置。本发明根据设备描述信息和IFTTT规则构建有限状态机模型，根据预先设定的规约模板和输入的参数构建形式化规约，然后采用模型检验工具对有限状态机模型是否满足形式化...
卜磊张秋萍张时雨王熙灶沈思远王林章李宣东
文献传递
一种智能家居物联网系统受攻击安全验证的方法和装置
本发明公开了一种智能家居物联网系统受攻击安全验证的方法和装置。本发明根据设备描述信息和IFTTT规则构建有限状态机模型，根据预先设定的规约模板和输入的参数构建形式化规约，然后采用模型检验工具对有限状态机模型是否满足形式化...
卜磊张秋萍张时雨王熙灶沈思远王林章李宣东
文献传递
一种智能家居物联网系统验证与修复的方法和装置
本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型，然后通过对混成自动机模型的路径分析，找出可能到达系统不安全的路径，然后将这些可达路径编码成SMT...
卜磊熊文任昕悦王熙马娆沈思远王亚楠李宣东
文献传递
一种基于符号执行的栈操作二进制代码优化方法和装置
本发明公开了一种基于符号执行的栈操作二进制代码优化方法和装置。本发明所涉及的栈操作二进制代码用于数字加密系统时，对存储空间操作比较耗费资源。为减少存储空间操作的资源耗费，本发明以栈空间为缓存，在第一次对存储空间操作时，将...
卜磊沈思远郭育鲲朱梓源李宣东
文献传递
全选 清除 导出
共1页<1>
聚类工具0