一种安全状态跟踪检查漏洞静态检测方法研究分析与实施.docVIP

个人收集整理 仅供参考学习 个人收集整理 仅供参考学习 PAGE / NUMPAGES 个人收集整理 仅供参考学习 一种基于安全状态跟踪检查地漏洞静态检测方法研究与实施? ?本课题得到国家自然科学基金项目、北京市自然科学基金项目（4082018）和国家863 项目（2007AA01Z414）地资助.梁彬，男，1973年生，博士，副教授，主要研究方向为信息安全与系统软件，Email: HYPERLINK mailto:liangb@ liangb@. 侯看看，女，1986年生，硕士研究生，主要研究方向为静态分析.石文昌，男，1964年生，博士，教授，博士生导师，主要研究方向为信息安全、可信计算与系统软件.梁朝晖，女，1968年生，博士，讲师，主要研究方向为信息安全、网络通信. 梁彬 侯看看石文昌 梁朝晖 （中国人民大学信息学院 北京100872） （数据工程与知识工程教育部重点试验室 北京100872） 摘要：现有地采用基于源代码分析地漏洞静态检测方法中存在地主要问题是误报率和漏报率较高.主要原因之一是缺乏对数据合法性检查与非可信数据源等程序安全相关元素地精确有效地识别分析.本文提出了一种基于数据安全状态跟踪和检查地安全漏洞静态检测方法.该方法对漏洞状态机模型地状态空间进行了扩展，使用对应多个安全相关属性地向量标识变量安全状态，细化了状