黄永刚
- 作品数:3 被引量:2H指数:1
- 供职机构:中国信息安全测评中心更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于SAT的C程序缓冲区溢出漏洞检测技术被引量:2
- 2009年
- 缓冲区溢出是C程序中很多安全问题的根源。该文给出一种基于SAT的C语言缓冲区溢出检测方法。该方法利用源代码变换技术,在程序源码中加入缓冲区属性刻画语句,使用断言刻画缓冲区溢出属性,然后借助SAT工具对断言进行检查。采用该方法设计实现了一个原型工具,它以程序源代码作为输入,能够自动检测程序中包含的缓冲区溢出漏洞。使用该工具对1 164个公开的基准程序进行检测,结果表明:工具准确地定位出程序中的缓冲区溢出漏洞,误报0个,漏报率约2.08%。
- 陈石坤李舟军黄永刚邢建英
- 关键词:缓冲区溢出布尔可满足性
- 基于语言等价关系化简Büchi自动机的算法被引量:1
- 2009年
- 为了缓解模型检测中状态空间爆炸问题,尽可能多的化简Büchi自动机的状态和迁移。该文定义了基于Büchi自动机语言等价关系的语言等价类概念,并基于该等价类概念提出了化简自动机状态和迁移的有效算法。由于该算法充分考虑了等价类中状态之间的可达关系,并通过模拟等价关系来计算语言等价关系,使得自动机的商和语言等价类相结合,因而可在多项式时间内尽可能多的化简Büchi自动机的状态空间。通过典型例子分析以及算法的正确性证明显示了该算法比现有算法可获得更好的化简效果。
- 易锦郭涛黄永刚张普含
- 关键词:自动机状态空间爆炸
- 基于语言等价关系化简Buchi自动机的算法研究
- 为了缓解模型检测中的状态空间爆炸问题,使其在安全领域获得更大应用范围,本文基于Bchi自动机语言等价关系定义了语言等价类概念,并提出了化简自动机状态和迁移的有效算法。该算法利用了模拟等价关系来计算语言等价关系,并将自动机...
- 易锦郭涛黄永刚张普含
- 关键词:自动机状态空间爆炸
- 文献传递