您的位置: 专家智库 > >

袁子牧

作品数:16 被引量:10H指数:3
供职机构:中国科学院信息工程研究所更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划北京市重点实验室开放基金更多>>
相关领域:自动化与计算机技术轻工技术与工程经济管理更多>>

文献类型

  • 12篇专利
  • 4篇期刊文章

领域

  • 5篇自动化与计算...
  • 1篇经济管理
  • 1篇轻工技术与工...

主题

  • 10篇代码
  • 7篇源代码
  • 7篇进制
  • 7篇二进制
  • 7篇二进制代码
  • 5篇复用
  • 3篇代码复用
  • 3篇网络
  • 3篇漏洞
  • 3篇函数
  • 2篇导出函数
  • 2篇依赖图
  • 2篇语法树
  • 2篇语义
  • 2篇语义相似
  • 2篇语义相似性
  • 2篇元组
  • 2篇知识
  • 2篇数据流
  • 2篇数据流分析

机构

  • 16篇中国科学院
  • 3篇中国科学院大...
  • 1篇北京服装学院
  • 1篇中央财经大学

作者

  • 16篇袁子牧
  • 13篇霍玮
  • 5篇邹维
  • 2篇王伟
  • 1篇徐志伟
  • 1篇李晓林
  • 1篇海沫
  • 1篇谢毅
  • 1篇涂碧波
  • 1篇吴炜
  • 1篇孟丹
  • 1篇刘会影

传媒

  • 2篇信息安全学报
  • 1篇纺织导报
  • 1篇计算机研究与...

年份

  • 4篇2022
  • 4篇2021
  • 2篇2020
  • 4篇2019
  • 1篇2017
  • 1篇2013
16 条 记 录,以下是 1-10
排序方式:
一种基于文本和源代码符号提取的漏洞位置标注方法和装置
本发明涉及一种基于文本和源代码符号提取的漏洞位置标注方法和装置。该方法的步骤包括:1)从漏洞描述文本中提取出<软件/项目名,版本号或区间,文件名列表,函数名列表>四元组作为漏洞位置线索;2)对漏洞描述文本所在...
袁子牧肖扬汤仟王世阳苏赫班固霍玮邹维
文献传递
一种面向区块链系统的模糊测试方法
本发明公开了一种面向区块链系统的模糊测试方法,其步骤包括:1)收集区块链系统脆弱性测试的种子数据作为模糊测试的初始输入数据;2)搭建运行所述区块链系统的测试环境;标记所述测试环境的区块链系统中与所述种子数据相关的代码变量...
袁子牧姚祎璨王立岩王晓伟王伟霍玮
人机物三元计算中的通用计算账户与个人信息资产代数被引量:4
2013年
计算机科学技术的发展涌现出一些基础性的不变量,推动了学科的知识积累和信息产业的资本深化,近20年的一个不变量例子是万维网(WWW)中的资源概念.未来信息技术发展的一个重要方向是融合人机物三元世界的普惠计算,当前互联网服务、云计算、大数据领域的"以资源为中心"的模式将逐渐向"以用户为中心"的模式发展.个性化的普惠计算需要另一个不变量,即用户的通用计算账户.刻画了通用计算账户的基本性质与技术组成,并从个人用户数据角度,提出了个人信息资产及其资产代数的学术抽象和原型实现.分析和实验表明,通用计算账户和资产代数系统有利于克服现有系统存在的用户数据被锁定在各个服务与设备中,难以统一管理和共享的问题.
徐志伟谢毅海沫李晓林袁子牧
关键词:数据集成数据模型信息资产
知识、探索与状态平面组织的软件漏洞分析架构研究被引量:3
2019年
对于软件漏洞分析复杂度过高的现状问题,本文认为其主要原因在于当前软件分析知识、技术及数据耦合程度高、各类知识与技术间缺乏有效编程接口连接,因而提出了将软件漏洞分析解耦合为知识、探索、状态等三层平面的设计。其中,状态平面可基于基础分析数据和既有的大数据操作接口表征程序分析状态及转换;知识平面与探索平面分别对应漏洞分析知识与技术/工具集合,本文从符号执行、污点分析、模式检测、模糊测试等现有技术类别中抽象出两平面间的知识与技术间的交互接口。在阐述三层平面的基础上,本文例举了实际漏洞分析应用场景,描绘出通过可编程接口连接各平面、以自由定制的方式发挥各平面间互补优势的愿景;期望随之努力达到打通各类知识、技术间的互通门槛,并融合数据处理技术以提升软件漏洞分析效能的效果。
袁子牧肖扬吴炜霍玮霍玮
一种基于代码特征的二进制代码与源代码相似性分析方法与装置
本发明涉及一种基于代码特征的二进制代码与源代码相似性分析方法与装置。该方法包括:提取源代码与二进制代码中共同存在的具备抗编译优化特性的代码特征;通过对提取出的代码特征进行特征匹配,计算源代码与二进制代码间的相似度;根据计...
霍玮袁子牧冯牧玥李丰班固肖扬
文献传递
智能调温纺织品系统设计
2017年
随着科技的发展,智能服饰已经成为纺织行业中引领时尚的新发展趋势。本文围绕人衣交互、纺织品自计算学习、缓存式近场通信、后台数据辅助等概念扩展了高级智能调温纺织品的内涵。同时就智能调温纺织品进行了系统总体设计和探究,详细介绍了系统的4部分功能,包括感应并计算调整温度、用户主动调整温度、存储温度数据以及读取温度数据。
刘会影袁子牧
关键词:智能服装调温纺织品系统设计
一种基于机器学习的编译相关文件识别方法及装置
本发明公开了一种基于机器学习的编译相关文件识别方法及装置,包括:基于版本的向量表示,对一开源库的所有版本进行聚类;对每一类中的各版本进行编译,并基于被成功编译版本的相应源文件信息进行机器学习训练,分别获取各类的文件识别模...
许丽丽班固肖扬袁子牧霍玮
文献传递
一种源代码与二进制代码间的语义比对方法和装置
本发明涉及一种源代码与二进制代码间的语义比对方法和装置。该方法包括:1)从给定源代码中指定一条语句ST<Sub>src</Sub>和其中的关键变量V<Sub>src</Sub>,从二进制代码中指定一条语句ST<Sub>b...
袁子牧冯牧玥班固肖扬许家欢俞晨东霍玮邹维
软件定义网络流的安全要素知识图谱研究被引量:3
2019年
流表是软件定义网络控制平面与数据平面交互的核心组件,也是实现安全策略全局协同及动态映射的关键。然而,构建具备相关安全策略的流表却需应对流知识要素过于分散、不断扩充、难以通过独立应用或预设规则满足等诸多难点。针对这一现状问题,本文通过采取在软件定义网络控制、数据和应用等三大平面之外新建知识平面的方式,构建流表及其相关安全知识要素聚集的流知识图谱,并基于此选择或生成流表规则。在流规则选择方面,构建同源-目的地址单条/合成流规则合并的流规则搜索树并关联流知识图谱,达到对已有流规则快速选择并决策的目的;在流规则学习生成方面,以流规则搜索树图融合的方式分裂生成流规则安全决策图,以此根据流标记生成或选择流规则。在评估部分,本文通过与应用平面交互、流规则选择、流规则学习等三个角度观察流知识图谱的实际应用方向及可能性,并通过实验衡量了基于流知识图谱的关键算法性能。以流知识平面的图谱等为基础设施,可近一步深入具体场景,通过流安全标记与应用相结合的方式,促进流规则演进等实践开展。
游瑞邦袁子牧涂碧波孟丹
关键词:知识图谱
一种二进制代码复用的开源组件版本识别方法及装置
本发明公开了一种二进制代码复用的开源组件版本识别方法及装置,包括:分别提取目标二进制代码与各版本源代码的敏感特征,其中所述敏感特征包括:全局常量特征和函数级别特征;基于所述敏感特征,计算目标二进制代码与各版本源代码的相似...
许丽丽班固肖扬袁子牧霍玮
共2页<12>
聚类工具0