陈清亮 苏开乐 肖茵茵 杨晋吉 徐旭东 岳伟亚 骆翔宇

自动化验证 二值图 模型检测 有序二值判定图（OBDD） 集合运算 SPV 时态逻辑 有序二元判定图 秘密性 SET证书申请协议 认证性

北京工业大学计算机学院 暨南大学计算机科学系 北京大学高可信软件技术教育部重点实验室 北京工业大学计算机科学与技术学院 中山大学计算机科学系 广州510275北京大学信息科学技术学院... 中山大学信息科学与技术学院广东省信息安全... 广州510275华南师范大学计算机学院