基于XML的软件安全静态检测方法研究

• 作者: 刘春燕 周宽久 赖晓晨 迟宗正 郑红波
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全规则 静态分析 可扩展标记语言(XML) 缺陷模式 Xquery
• 年，卷（期）: 2010,（28）
• 页码范围: 64-69
• 分类号: TP311
• 字数: 6987字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.28.019

摘要

安全关键软件设计使用的C/C++语言舍有大量未定义行为,使用不当可能产生重大安全隐患.软件静态检测是从软件代码和结构中找出安全缺陷的重要手段.从安全规则的角度,提出了基于XML(eXtensible Markup Language)中间模型的静态检测方法.该方法将C/C++源代码解释为XML中间模型,将安全规则转化为缺陷模式,利用Xquery查询表达式对软件安全缺陷进行定位.基于该方法的原型系统检验结果表明:该方法能够有效地检测出违反安全规则的软件缺陷,并具有安全规则可定制的特点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周宽久	大连理工大学软件学院	56	434	12.0	19.0
2	迟宗正	大连理工大学软件学院	25	157	7.0	11.0
3	赖晓晨	大连理工大学软件学院	30	153	8.0	11.0
4	刘春燕	大连理工大学软件学院	10	69	5.0	8.0
5	郑红波	大连理工大学软件学院	2	6	1.0	2.0