您的位置： 专家智库 > >

张娜

作品数：3 被引量：0H指数：0
供职机构：中国人民解放军西安通信学院更多>>
相关领域：语言文字文化科学自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇线性规划
  • 1篇缓冲区
  • 1篇缓冲区溢出

机构

  • 1篇空军工程大学
  • 1篇中国人民解放...

作者

  • 1篇白振兴
  • 1篇葛小凯
  • 1篇张娜
  • 1篇魏剑简

传媒

  • 1篇微计算机信息

年份

  • 1篇2009
共 3 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
线性规划在缓冲区溢出检测中的应用研究
2009年
文中建立了一个缓冲区溢出检测模型,用整型区间约束系统来表示字符串和关键性函数,将C字符串操作抽象成线性规划问题来解决。设计了线性求解器对所产生的约束集合进行求解,进而确定缓冲区的界,然后用溢出条件判定漏洞是否发生。最后在wu-ftp-2.6.2上验证了该方法在检测缓冲区溢出上的可行性和有效性,并通过横向比较证明了其线性执行时间的效率。
葛小凯白振兴魏剑简张娜
关键词：缓冲区溢出
全选 清除 导出
共1页<1>
聚类工具0