Java语言的安全性增强技术

摘要：

在改进军用安全模型的基础上,对Java语言进行安全性增强.通过增加安全信息流策略,使得在编译Java源程序的过程中能检验该程序中是否存在隐蔽信道,改造后的语言称为sJava.同时,还实现了对开放源代码的Java编译器jikes的安全性改造,sJava语言源程序在其中能直接编译成字节码,且不增加系统的运行负载.

关键词： 军用安全模型 Java语言 类型系统 代码安全 隐蔽信道

作者: 于泠 陈波 肖军模

作者单位: 解放军理工大学,通信工程学院,江苏,南京,210007;南京师范大学,计算机系,江苏,南京,210097 南京师范大学,计算机系,江苏,南京,210097 解放军理工大学,通信工程学院,江苏,南京,210007

会议类型: 国内会议

会议名称: 第二届中国可信计算与信息安全学术会议

会议地点: 河北保定

会议语种:中文

页码: 795-797

在线出版日期: 2006-10-21（万方平台首次上网日期，不代表论文的发表时间）