吴承勇 王龙 白瑞峰 石立新 孙美飞 王玉龙 王浩宏 黄晓璐 李元平 王斌 刘亮 王红霞 蒋海 张巨萍 李秀华 王玲玲 谢高岗 郭怡静 郝松侠 邢熠 张涛 李华 周建涛 王淼 李茹 白翔宇 丁雪莲 张瀚文 史美林 王春峰

协议 灵活性 形式化验证 NS 公钥认证协议 Web回放效果 IUT 有限状态机 Web 形式化描述方法 IPv6 路由协议 推理 异常 域名解析系统 性能 变更 数据选择 模型检查 流量模型 回放浏览器 自动机理论 协议测试 测试序列 8021x CP-Nets 服务质量 预测误差 移动感知 消息序列表 OSPFv3

内蒙古呼和浩特 中国科学院研究生院 中国科学院计算技术研究所 清华大学计算机科学与技术系 内蒙古大学计算机学院 中国科学院计算技术研究所网络室 呼和浩特 内蒙古移动通信有限公司