您的位置： 专家智库 > >

唐卓椿

作品数：1 被引量：2H指数：1
供职机构：中国科学技术大学信息科学技术学院自动化系更多>>
发文基金：安徽省优秀青年科技基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇软件脆弱性
  • 1篇时序逻辑
  • 1篇线性时序逻辑
  • 1篇可执行文件
  • 1篇反汇编
  • 1篇脆弱性

机构

  • 1篇中国科学技术...

作者

  • 1篇孔德光
  • 1篇帅建梅
  • 1篇吴刚
  • 1篇唐卓椿

传媒

  • 1篇小型微型计算...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
有界模型检查可执行文件的安全属性被引量：2
2008年
引入模型检查方法对可执行文件进行脆弱性分析.对可执行文件形式化建模,采用有界模型检查技术验证可执行文件的安全属性,并在X86体系结构上开发了一个用于可执行文件的模型检查器.实验以内存泄漏和栈溢出漏洞为例,将其属性描述为线性时序逻辑公式,在可执行文件的状态迁移系统模型中验证公式是否能满足,实验结果表明对可执行文件的有界模型检查是一种有效的静态分析方法.
唐卓椿吴刚帅建梅孔德光
关键词：软件脆弱性反汇编线性时序逻辑
全选 清除 导出
共1页<1>
聚类工具0