郭帆 周世龙 张昱 陈意云 石昭祥 张东 赵卫 徐海 赵文进 王世明

封装器激活原则子系统 携带证明的代码 通用软件封装器 证明方法 ARM μClinux 安全策略 网络驱动 TAAS 类型注解 类型系统 类型安全 子定型 封装器支持子系统 类型安全策略 网络接口 移动代码 类型检查 W90N740 认证编译器 扩展的控制流图

中国科学技术大学计算机科学与技术系 安徽合肥 解放军电子工程学院系统集成技术研究所 中国科学技术大学计算科学与技术系 解放军电子工程学院网络工程系 中国人民解放军电子工程学院系统工程教研室