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

Research of JAVA Security Reforms and Validation

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

     

    Abstract: 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.

     

/

返回文章
返回