解放军理工大学学报（自然科学版）
解放軍理工大學學報（自然科學版）
해방군리공대학학보（자연과학판）
JOURNAL OF PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE EDITION)
2009年
1期
23-29
,共7页
信息流控制%军用安全模型%Java%类型系统
信息流控製%軍用安全模型%Java%類型繫統
신식류공제%군용안전모형%Java%류형계통
为了发现、控制软件中的非法信息流,利用改进后的军用安全模型对Java语言的安全性进行扩展,提出了一种基于类型的信息流控制方法.将安全级别编码为程序中的类型,并利用定型规则发现非法的信息流,扩展后的语言称为sJava.给出了sJava类型安全性的证明,实现了对开源的Java编译器Jikes的安全性改造.结果表明,sJava语言源程序能直接编译成字节码,不增加系统的运行负载.
為瞭髮現、控製軟件中的非法信息流,利用改進後的軍用安全模型對Java語言的安全性進行擴展,提齣瞭一種基于類型的信息流控製方法.將安全級彆編碼為程序中的類型,併利用定型規則髮現非法的信息流,擴展後的語言稱為sJava.給齣瞭sJava類型安全性的證明,實現瞭對開源的Java編譯器Jikes的安全性改造.結果錶明,sJava語言源程序能直接編譯成字節碼,不增加繫統的運行負載.
위료발현、공제연건중적비법신식류,이용개진후적군용안전모형대Java어언적안전성진행확전,제출료일충기우류형적신식류공제방법.장안전급별편마위정서중적류형,병이용정형규칙발현비법적신식류,확전후적어언칭위sJava.급출료sJava류형안전성적증명,실현료대개원적Java편역기Jikes적안전성개조.결과표명,sJava어언원정서능직접편역성자절마,불증가계통적운행부재.
