张彦肖 计宏霖 李舟军 郭云川 郭华 董荣胜 庄雷 蔡国永 缪祥华 何大可 李益发 周龙骧 古天龙 卿斯汉 谢文海

逻辑 符号模型检验 可追究性 通信有限状态自动机 原子性 可信第三方 非否认性 不可否认性 SVO逻辑 串空间 Kailar逻辑 语义 BAN逻辑 形式化分析 形式化方法 公平性 匿名性 逻辑分析 安全性 CMP1协议 电子商务 模型检测 交易规模