田波 程亮 王伟 葛琳 梁红瑾 张阳 江苏苏州215123 王志芳 陈意云 张昱 王振明 李兆鹏 华保健

软件安全 类型系统 指针程序 操作系统安全 出具证明的编译器 Hoare逻辑 形式化验证 出具证明编译器 代码分析 模型检测 自动定理证明器 证明检查算法 软件安全 语言设计 指针分析 证明检查器 携带证明的汇编程序 携带证明的代码 验证条件

软件安全