欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
讨论了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.
同期刊论文项目
同项目期刊论文
Optimal Coherent Detection of FSK Signals with Imbalance Amplitudes in the Presence of Colored Gauss
Application of Genetic Algorithm and Boundary Element Method to Electromagnetic Imaging of Two-dimen
期刊信息
位置：