您的位置： 专家智库 > >

王铁磊

作品数：23 被引量：28H指数：3
供职机构：北京大学更多>>
发文基金：高等学校科技创新工程重大项目国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 17篇专利
  • 3篇会议论文
  • 2篇期刊文章
  • 1篇学位论文

领域

  • 7篇自动化与计算...
  • 1篇电子电信

主题

  • 8篇代码
  • 8篇控制流
  • 6篇中间代码
  • 6篇程序控制
  • 5篇信息安全
  • 5篇漏洞
  • 4篇软件测试
  • 4篇软件漏洞
  • 4篇畸形
  • 4篇安全漏洞
  • 3篇加密
  • 3篇恶意
  • 3篇恶意行为
  • 2篇多路
  • 2篇信息安全技术
  • 2篇信息安全领域
  • 2篇信息基础
  • 2篇软件工程
  • 2篇输入数据
  • 2篇通信

机构

  • 23篇北京大学
  • 1篇中国矿业大学...

作者

  • 23篇王铁磊
  • 22篇韦韬
  • 22篇邹维
  • 14篇李佳静
  • 13篇毛剑
  • 9篇戴帅夫
  • 9篇张超
  • 8篇王伟
  • 6篇赵新建
  • 4篇丁羽
  • 4篇李义春
  • 2篇段镭
  • 1篇郭天放
  • 1篇陈兆丰
  • 1篇凤旺森

传媒

  • 1篇北京大学学报...
  • 1篇计算机学报
  • 1篇第六届中国信...
  • 1篇第三届信息安...

年份

  • 2篇2012
  • 4篇2011
  • 5篇2010
  • 7篇2009
  • 3篇2008
  • 2篇2007
共 23 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种恶意代码检测方法
本发明公开了一种基于语义的恶意代码检测方法，可以完整地刻画基于函数调用的攻击行为，并有效地识别二进制可疑程序中的恶意行为，属于互联网安全技术领域。本发明方法包含a)获得已知恶意代码的有穷状态自动机；b)获得待检测的二进制...
李佳静张超韦韬王铁磊邹维毛剑戴帅夫赵新建
文献传递
一种软件漏洞挖掘方法
本发明公开了一种软件漏洞挖掘方法，属于软件工程和信息安全领域。本方法为：1)将多个正常数据输入目标程序，收集该目标程序的运行时信息；2)生成畸形数据，并将其输入该目标程序，收集该目标程序的运行时信息；3)根据1)、2)收...
王铁磊韦韬邹维张超戴帅夫丁羽李义春
面向二进制程序的漏洞挖掘关键技术研究
随着计算机在国民经济和国防建设各个领域的广泛应用，作为信息系统智能载体的计算机软件的安全性变得尤为重要，软件安全漏洞已经成为信息安全风险的主要根源之一。由于软件安全漏洞的危害性、多样性和广泛性，在当前网络空间(Cyber...
王铁磊
关键词：信息安全二进制程序源程序
一种高效动态软件漏洞挖掘方法
本发明公开了一种高效动态软件漏洞挖掘方法，其步骤包括：1)目标软件处理正常输入数据，并收集正常输入数据中传播进入系统函数参数、库函数参数的字节；2)在正常输入数据中，修改传播进入系统函数、库函数的字节，生成畸形数据；3)...
王铁磊李义春韦韬邹维戴帅夫张超丁羽
一种复合条件分支结构的识别方法
本发明涉及一种识别复合条件分支结构的方法，其步骤包括对可执行文件进行反汇编，得到该可执行文件的中间代码；从上述中间代码中提取控制流信息，得到控制流图；遍历控制流图，得到级联分支结构；将级联分支结构对应的控制流图识别为复合...
韦韬王铁磊邹维李佳静毛剑王伟
文献传递
一种程序分解方法
本发明公开了一种程序分解方法，属于软件工程、信息安全技术领域。本发明方法包括：a)设定始函数和终函数；b)以始函数和直接或间接调用始函数的函数组成的集合为Source；类似地，设定Sinks；c)分别对仅属于Source...
王铁磊韦韬邹维毛剑李佳静赵新建张超戴帅夫
文献传递
程序静态分析工具的分类研究
程序静态分析是软件安全脆弱性检测的重要手段。现有的静态分析工具各具特色。本文提出基于系统建模、属性描述、检测过程和结果验证等四个维度的程序静态分析分类方法。并运用这种分类方法对几种典型开源静态分析工具进行了分类和比较。
赵新建王铁磊韦韬邹维
关键词：程序静态分析脆弱性检测
文献传递
基于roBDD的细颗粒度动态污点分析(英文)被引量：4
2011年
研究了细颗粒动态污点分析的瓶颈所在,提出一种基于roBDD的细颗粒度离线污点分析方法。实验结果表明该方法能够显著提高细颗粒度污点分析的性能,并减低内存需求,为进一步扩大细颗粒度污点分析的应用提供了途径。
王铁磊韦韬邹维
关键词：动态污点分析
一种Web通信加密方法
本发明提供了一种Web通信加密方法，该方法区分客户端与服务端是首次通信还是再次通信两种情况。首次访问的客户端与服务端进行Web通信时，需要协商确定通信的密码算法，再次通信时无需再次协商；首次通信时，客户端获取服务端提供的...
韦韬毛剑邹维王铁磊李佳静王伟
文献传递
一种嵌套循环结构的识别方法
本发明属于逆向工程和程序分析领域，具体涉及一种识别循环结构的方法对可执行文件进行反汇编，得到该可执行文件的中间代码；从上述中间代码中提取控制流信息，得到控制流图；深度优先遍历控制流图，识别循环节点；标记节点的最内层循环头...
韦韬李佳静毛剑邹维王铁磊王伟
文献传递
全选 清除 导出
共3页<123>
聚类工具0