探讨JAVA的安全性改造与验证

• 作者: 于泠 刘军 肖军模
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 信息流安全控制 军用安全模型 程序安全性验证 安全程序语言
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 计算机科学与工程
• 页码范围: 531-533,537
• 页数: 4页
• 分类号: TP309
• 字数: 3037字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2007.03.014

摘要

讨论了OO语言的安全改造问题;给出了以扩展军用安全模型(EMSM)为基础的多级信息流安全控制原理,依据EMSM模型的要求把非安全的JAVA改造成安全语言sJAVA;讨论了sJAVA语言中主要的可执行语句的安全执行条件;以实例说明了sJAVA程序的安全性验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖军模	解放军理工大学通信工程学院	62	313	10.0	15.0
2	刘军	解放军理工大学通信工程学院	43	123	6.0	9.0
3	于泠	解放军理工大学通信工程学院	34	533	13.0	22.0