吴秋新 郑志明 朱震 侯紫峰 孙育宁 曲亚东 李清玉 郭炳晖 吕述望 李慧 高雷 华东明 王一平 辛海院 刘强 肖政 吴伟 王新华

密钥协商 netfilter 产生式关联 不经意传输 路径验证 层次 位承诺 NP问题 动态管理 自适应 策略管理 引擎部署 多方安全计算 认证路径 安全协议 布尔方程组 Agent服务 入侵检测 安全关联分析架构 陷门函数 信道 网络处理器 MBean管理服务器 逻辑 IXP1200 可满足性 算法设计 零知识证明 增量策略 安全路由器

联想研究院 中国科学院计算技术研究所 中国科学院研究生院 北京信息科技大学 北京100080中国科学院研究生院 中科院计算技术研究所 北京100080联想研究院 清华大学软件学院