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

摘要：

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

关键词：信息流安全控制、军用安全模型、程序安全性验证、安全程序语言

所属期刊栏目：36

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金69931040;江苏省自然科学基金BK2004015

在线出版日期：2007-07-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：531-533,537