陈庆锋 白硕 曾庆田 王志强 吴立军 李伟琴 付岩 刘海燕 王娜 张大方 冯登国 赵保华 刘靖 缪力 庄超 屈玉贵 胡劲松 杨志华 肖军模 隋立颖 王亚弟 蔡红柳 刘怡文 吴哲辉 叶新铭 黄谷 杨朝红 陈清亮 范昊 苏开乐

自动机 开发系统 EAP-TLS 非单调逻辑 形式化分析 协议性能评估 动态逻辑 协议测试 SMV 计算机网络 模型检查 安全模型 SPIN 0-1停止等待协议 OSI协议 组合推理 LAPD协议 Petri网进程 并发路径 TMN密码协议 信念 Petri网 时延 Petri 网 NS 公钥认证协议 认证协议 复杂性分析 信息安全 符号模型检测 多主体系统 自动生成