杨志华 苏金树 苏开乐 杨力华 齐东旭 陈清亮

OBDDs 协议验证 自动机 SMV 经验模式分解（EMD） Hilbert-Huang变换 字体识别 模型检测 TMN密码协议 多智能体系统 符号模型检测 mu演算 并发动态逻辑 时态认知逻辑 多主体系统 CDKBC模型 安全协议验证 多智体系统 CDKBC证明系统 信息系统 数据库 安全性

中山大学计算机科学与技术系 广东广州 广东工贸职业技术学院计算机系 国防科学技术大学计算机学院 中山大学信息科学与技术学院 中山大学计算机系 河南洛阳 河南科技大学电子信息工程学院洛阳