Java应用程序安全分析研究

• 作者: 管铭 赵朋
• 来源期刊: 信息安全与通信保密
• 学科: 工学
• 关键词: 安全漏洞 静态分析 上下文敏感 克隆 简化二元判定图
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 学术研究
• 页码范围: 141-142,145
• 页数: 3页
• 分类号: TP311
• 字数: 2276字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-8054.2007.05.060

摘要

使用静态分析方法检测应用程序安全漏洞的基础是精确的上下文敏感别名分析信息.论文研究了-种基于数据库概念的Java语言上下文不敏感别名分析算法,并讨论了Reduced Ordered Binary Decision Diagrams(ROBDDs)在该算法实现上的应用,最后给出了上下文的克隆处理方法和整个上下文敏感别名分析的框架.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵朋	西北工业大学计算机学院	3	5	1.0	2.0
2	管铭	西北工业大学计算机学院	2	5	1.0	2.0