姜励 陈波 陈小平 陈克非 冯扬悦 于泠 肖军模 吕建 谢希仁 周晓聪 张兴元 陈健 平玲娣 王元元 蒋慧 陈韬略 李文军 王立斌 韩婷婷 李师贤

安全模型 军用安全模型 Java 语义模型 安全协议 类型推理 子类型 多线程语言 信息流控制 类型检测 π演算 完整性 受限全称量词类型 进程代数 类型演化 环境演算