基于改进军用安全模型的sJava语言

作     者：于泠 陈波 肖军模 YU Ling;CHEN Bo;XIAO Jun－mo

作者机构：解放军理工大学通信工程学院江苏南京210007 南京师范大学计算机系江苏南京210097 

出 版 物：《解放军理工大学学报（自然科学版）》 (Journal of PLA University of Science and Technology(Natural Science Edition))

年 卷 期：2009年第10卷第1期

页      面：23-29页

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：江苏省自然科学基金重点资助项目(BK2004015) 江苏省普通高校自然科学研究计划资助项目(08KJD520017) 

主　　题：信息流控制 军用安全模型 Java 类型系统 

摘      要：为了发现、控制软件中的非法信息流,利用改进后的军用安全模型对Java语言的安全性进行扩展,提出了一种基于类型的信息流控制方法。将安全级别编码为程序中的类型,并利用定型规则发现非法的信息流,扩展后的语言称为sJava。给出了sJava类型安全性的证明,实现了对开源的Java编译器Jikes的安全性改造。结果表明,sJava语言源程序能直接编译成字节码,不增加系统的运行负载。