杨晋吉 吕关锋 ZHENG Xi-Zhong 杨志华 岳伟亚 徐旭东 潘久辉 姜云飞 陈蔼祥 苏开乐 吴立军 肖茵茵

多主体系统 秘密性 认证性 集合运算 TMN密码协议 可满足性问题 加密信息交换模型 SPV 知识推理 有序二元判定图 实例化空间 模型检测 二值图 诊断图 溯因推理 自动化验证 时态认知逻辑 知识结构 诊断 可满足性问题SAT) 自动规划 协议验证 基于模型的诊断 SET证书申请协议 自动机

暨南大学计算机科学系 北京工业大学计算机学院 江苏大学计算机系镇江 华南师范大学计算机学院 广东商学院数学与计算科学学院 广州510275北京大学信息科学技术学院... 广州510275华南师范大学计算机学院 广东工贸职业技术学院广州