XIAO Jun-mo, LIU Jun, YU Ling. Research of JAVA Security Reforms and Validation[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 531-533,537.
Citation:
XIAO Jun-mo, LIU Jun, YU Ling. Research of JAVA Security Reforms and Validation[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 531-533,537.
XIAO Jun-mo, LIU Jun, YU Ling. Research of JAVA Security Reforms and Validation[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 531-533,537.
Citation:
XIAO Jun-mo, LIU Jun, YU Ling. Research of JAVA Security Reforms and Validation[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 531-533,537.
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.
ISSN 
DownLoad: