摘要
讨论了OO语言的安全改造问题;给出了以扩展军用安全模型(EMSM)为基础的多级信息流安全控制原理,依据EMSM模型的要求把非安全的JAVA改造成安全语言sJAVA;讨论了sJAVA语言中主要的可执行语句的安全执行条件;以实例说明了sJAVA程序的安全性验证方法。
In this paper, the security reforming problems of OO language are discussed, the principles multi-information flow security control principles are presented based on extended military security model. JAVA is transformed into a security program language (sJAVA) depending upon the EMSM. the security execution conditions of main executable sentences in sJAVA are discussed. A validation by an example of sJAVA program is given.
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2007年第3期531-533,537,共4页
Journal of University of Electronic Science and Technology of China
基金
国家重点自然科学基金资助项目(69931040)
江苏省自然科学基金资助项目(BK2004015)
关键词
信息流安全控制
军用安全模型
程序安全性验证
安全程序语言
information flow control
military security model
program security validation
security program language