用数据流分析方法检查程序信息流安全

• 作者: 陈意云 黄海军
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 程序信息流安全 形式语义 静态分析 数据流分析
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 软件技术
• 页码范围: 102-106
• 页数: 5页
• 分类号: TP311
• 字数: 7065字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2007.01.022

摘要

程序信息流安全是信息安全的一个重要研究方向.基于类型的分析虽然是检查程序信息流安全的一种有效方法,但过于保守.本文尝试将传统的数据流分析方法用于程序信息流安全的检查,即利用数据流分析来跟踪程序数据间的安全依赖关系,达到检查程序信息流安全的目的.和基于类型的方法相比,数据流分析方法能更加精确地分析程序,具有更大的宽容性.最后,本文对数据流分析方法的可靠性进行了证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈意云	中国科技大学计算机系	19	161	7.0	12.0
5	黄海军	中国科技大学计算机系	3	22	3.0	3.0