陈修环
- 作品数：14 被引量：105H指数：5
- 供职机构：清华大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- MNSMP:一种基于分布式平台路由器的多节点状态维护协议被引量：1
- 2000年
- 路由器是计算机互联网络的核心设备 ,其性能和稳定性将直接影响整个网络系统的性能与稳定性 .分布式处理可以有效解决路由器的性能瓶颈 ,同时其冗余特性对于提高系统的可靠性具有重要意义 .提出了一种基于分布式多处理器平台路由器的多节点状态维护协议 (MNSMP) ,有效地解决了分布式路由器系统中数据的一致性维护问题 ,并以双主节点冗余技术来提高整个系统的可靠性 .同时运用有限状态机工具来分析分布式路由器系统在正常运行、典型故障以及协议测试状态下的状态机运作情况 .
- 吴铭陈修环吴建平
- 关键词：分布式路由器计算机互联网
- 会话层/表示层协议一致性测试的研究与实现
- 1998年
- 会话层／表示层协议是ＯＳＩ高层协议的一部分。本文介绍协议一致性测试研究现状、测试过程及方法，分析会话层／表示层协议一致性测试需求，采用树表格式（ＴＴＣＮ）与抽向语法表示（ＡＳＮ．１）相结合的形式化描述语言，设计实现了会话层／表示层协议一致性测试系统及测试集。并对ＩＳＯＤＥ软件中的会话层／表示层协议实现进行了一致性测试，包括基本互连、能力、有效行为、无效行为及定向诊断等。
- 陈修环熊勇强黄春波
- 关键词：会话层计算机网络
- 基于协议集成测试系统的IPv4协议一致性测试被引量：14
- 2000年
- TCP/IP协议实现的一致性测试是保证 Internet网络设备之间互连与互操作的基础 .该文基于协议集成测试环境进行了 IP(Internet protocol)协议一致性测试研究和实际测试 ,并针对 IP端系统和中继系统分别采用了分布式和远程横断式测试法 ,设计生成了 IP一致性测试集 .并且已将 IP协议的一致性测试应用到路由器的开发和研制过程中 .
- 王建国吴建平陈修环冯晓东
- 关键词：TCP/IP协议INTERNET网IPV4协议
- 一种高效的分布式缓冲区管理策略
- 2001年
- 当前，在由路由器架构的Internet中，网络物理层带宽的增加和应用层多媒体等技术的出现对路由器的性能，主要是对路由器的转发能力，提出了非常高的要求。文章着重论述了缓冲区管理技术在提高路由器性能方面的作用。在分析了传统缓冲区管理方式之后，结合项目的分布式特点，提出了一种高效而实现简单的管理策略，描述了建立和使用该策略的协议，最后给出了性能提高的试验结果。
- 王栋陈修环
- 关键词：网络性能路由器INTERNET计算机网络
- TCP/IP路由器安全传输系统的设计与实现被引量：1
- 1999年
- 以自行开发的高性能多协议路由器为背景，提出了一种基于ＴＣＰ／ＩＰ协议簇的路由器安全传输系统解决方案，包括路由器身份认证协议、状态维护协议、普通—加密状态切换协议及数据包加解密自动识别和透明打包四项关键技术，并且将其与基于“加密器”的安全传输系统作了比较。
- 吴铭陈修环吴建平
- 关键词：身份认证因特网TCP/IP路由器
- 构筑Interneet/Intranet/Extranet网络环境
- 1999年
- 以AltaVistaFirewallforNT防火墙软件为例，从试验网络拓扑及软件，防火墙安装，配置使用，服务代理以及防火墙管理等方面概述怎样构筑一个安全的Internet／Intranet／Extranet网络环境。
- 陈修环石岩王栋
- 关键词：计算机网络
- 一种综合数据流和控制流的协议测试集自动生成法被引量：6
- 2000年
- 为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序列算法和描述协议不确定性的适应性输入/输出树的概念 ,运用协议约束集控制协议空间搜索的复杂度。并采用测试集的验证技术分析测试集的覆盖能力。该方法已运用于 OSI协议和 TCP/ IP RFC协议的测试生成 ,大大提高了软件开发和协议实现的质量及进度。
- 王建国吴建平陈修环
- 关键词：计算机网络测试集控制流
- CSCW网络安全问题探讨被引量：10
- 1999年
- 该文从不同角度探讨ＣＳＣＷ系统的网络安全问题。分析ＣＳＣＷ网络安全策略；简述Ｉｎｔｅｒｎｅｔ网上常用的基于路由器及路由协议、ＲＡＤＩＵＳ（ＲｅｍｏｔｅＡｕｔｈｅｎｔｉｃａｔｉｏｎＤｉａｌＩｎＵｓｅｒＳｅｒｖｉｃｅ）、身份认证（Ａｕｔｈｅｎｔｉｃａｔｉｏｎ）、访问控制（ＡｃｃｅｓｓＣｏｎｔｍｌ）、加密（Ｅｎｃｒｙｐｔｉｏｎ）、代理服务器（ＰｒｏｘｙＳｅｒｖｅｒ）、Ｗｅｂ服务器的安全机制、虚拟局域网ＶＬＡＮ（ＶｉｒｔｕａｌＬｏｃａｌＡｒｅａＮｅｔｗｏｒｋ）技术、网络管理及检测等提高网络性能和安全的重要技术；最后，给出一个可供参考的广域ＣＳＣＷ系统的网络结构及安全管理机制。
- 陈修环石岩杨槟
- 关键词：CSCW防火墙计算机网络网络安全
- 基于形式化技术的协议集成测试系统——PITS被引量：42
- 1998年
- 在协议测试中采用形式化技术将使协议测试更加精确和高效。文中讨论了一种基于形式化方法的协议一致性测试策略，并介绍了根据这种策略设计和实现的一个协议集成测试系统ＰＩＴＳ。这种协议集成测试系统除了用于协议一致性测试外，还可以用于协议的互操作性测试和性能测试。文章给出了这个系统的总体结构、系统工作过程和各部分的功能描述，还讨论了它在实际协议测试中的应用。
- 吴建平陈修环郝瑞兵徐明伟杨家海毕军尹霞
- 关键词：互操作性测试
- 生成数据分组网络测试负载用的分组轮询式多流发送方法
- 生成分组网络测试负载用的分小组轮询式多流发送方法属于网络测试负载生成技术领域，其特征是：在采用FPGA或ASIC的测试负载生成系统中，首先根据各流的流模式计算当前分组的预定发送时刻EST；再把所有流按分组内的流数目由最小...
- 吴建平盛立杰章淼徐明伟陈修环
- 文献传递
