王春玲 李梦君 赵辉 董荣胜 蔡国永 胡巍 吴立军 李彤 张艳 黄冰 李舟军 冯登国 郭云川 宋震 刘锋 苏开乐 王小兵 胡斌 张玉清 彭勋 邢戈

语音质量 SPIN 模型检测 运行模式分析法 安全协议 模型验证 形式方法 SEP 模型检验 TMN密码协议 协议验证 DM642 认证 变速率语音算法 安全性 TMN协议 符号模型检测 原子性 安全支付协议 多智体系统 符号模型验证