[1] 柴志雷. Java实时性及嵌入式实时Java处理器研究[D]. 复旦大学, 2007,(02) .
[2] 左天军. Java虚拟机安全性的形式化分析和验证[D]. 西安电子科技大学, 2007,(04) .
[3] 郭兵. 嵌入式软件开放式集成开发平台体系结构研究[D]. 电子科技大学, 2002,(02) .
[4] 石文昌. 安全操作系统开发方法的研究与实施[D]. 中国科学院研究生院（软件研究所）, 2004,(03) .
[5] 梁洪亮. 支持多安全政策的安全操作系统的研究与实施[D]. 中国科学院研究生院（软件研究所）, 2003,(02) .
[6] 尹贵虎. 基于Web的实时控制系统研究[D]. 浙江大学, 2003,(02) .
[7] 陈虎. JE-Java芯片系统关键技术的研究与设计[D]. 中国人民解放军国防科学技术大学, 2004,(01) .
[8] 阳国贵. 对象关系数据库中若干关键技术的研究[D]. 中国人民解放军国防科学技术大学, 2004,(01) .
[9] 朱鲁华. 安全操作系统模型和实现结构研究[D]. 中国人民解放军信息工程大学, 2004,(01) .
[10] 赵庆松. 安全操作系统的恶意代码防御技术的研究与实施[D]. 中国科学院研究生院（软件研究所）, 2004,(01) .