尹青 季庆光 金月 李优 冯登国 陈睿 范钰丹 蔡国永 田园 周伟 林煜明 王颖 王清贤 王亚弟 赵琦 贺也平 赵宇 韩继红 金锋 卿斯汉 李腊元

IPC对象 组策略 UC-相似 验证 运算语义 抽象体系 安全级范围 形式描述技术FDT) 安全性质 多级实体 Dolev-Yao刚性 问题求解理论 Dolev-Yao相似性 Z Notation语言 ρ演算 形式系统 形式描述技术 集合论 面向对象数据库 密码协议 安全协议 机密性策略 通信协议 计算密码学 安全组管理 查询 计算机网络 政策 自配置 组状态