基于自动机的Java信息流分析

• 作者: 吴泽智 杜学绘 杨智 陈性元
• 来源期刊: 计算机应用研究
• 关键词: 有限状态自动机 动态污点跟踪 信息流分析 无干扰 Java
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 信息安全技术
• 页码范围: 246-249,253
• 页数: 5页
• 分类号: TP309.1
• 语种: 中文
• DOI: 10.19734/j.issn.1001-3695.2017.08.0705

摘要

面向Java的信息流分析工作需要修改编译器或实时执行环境,对已有系统兼容性差,且缺乏形式化分析与安全性证明.首先,提出了基于有限状态自动机的Java信息流分析方法,将整个程序变量污点取值空间抽象为自动机状态空间,并将Java字节码指令看做自动机状态转换动作;然后,给出了自动机转换的信息流安全规则,并证明了在该规则下程序执行的无干扰安全性;最后,采用静态污点跟踪指令插入和动态污点跟踪与控制的方法实现了原型系统IF-JVM,既不需要获得Java应用程序源码,也不需要修改Java编译器和实时执行环境,更独立于客户操作系统.实验结果表明,原型系统能正确实现对Java的细粒度的信息流跟踪与控制,性能开销为53.1％.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈性元	解放军信息工程大学密码工程学院	94	497	10.0	14.0
3	杜学绘	解放军信息工程大学密码工程学院	73	350	10.0	12.0
4	杨智	解放军信息工程大学密码工程学院	10	62	4.0	7.0
5	吴泽智	解放军信息工程大学密码工程学院	4	26	2.0	4.0