计算机应用研究

作者：吴泽智,陈性元,杜学绘,杨智,

单位：1.解放军信息工程大学密码工程学院,郑州450001；2.密码科学技术国家重点实验室,北京100094；

关键词：有限状态自动机,动态污点跟踪,信息流分析,无干扰,Java,

基金：国家高技术研究发展“863”计划资助项目(2015AA016006,2012AA012704)；国家重点研发计划项目(2016YFB0501900)；；

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

来源：2019年第1期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2019年第1期