张辉 韦卫 刘怀宇 孙冠英 李昭原 夏春和 刘怡文 陆悠 黄冬泉 徐振亚 杨亚平 郎波 黄睿 吴琦 任洪江 李蓬 黄河

代理 控制 网络 密钥协商 网格 逻辑网络 代理证书 管理程序 Java 计算机网络 一站式认证 网络流 公共对象请求代理结构 客户服务管理 分布式对象 分布式网络管理 人工智能 逻辑代数 CORBA 服务质量 网络控制程序 访问控制 模型检查 形式语言 对象式Web 程序系统 路由选择 定理证明 显式路由 多协议标记交换

北京航空航天大学计算机科学与工程系 北京航空航天大学信息网络中心