计算机网络安全管理 被引量：22

1

作者 陈修环 石岩 《小型微型计算机系统》 CSCD 北大核心 1999年第5期343-346,共4页

Ｉｎｔｅｒｎｅｔ技术广泛用于各行各业形成各自的Ｉｎｔｒａｎｅｔ或Ｅｘｔｒａｎｅｔ网络的同时，网络安全问题也越来越重要．本文简述了网络安全问题的定义及解决策略；网络管理标准及协议．分析了网络安全管理需要解决的问题和典型... Ｉｎｔｅｒｎｅｔ技术广泛用于各行各业形成各自的Ｉｎｔｒａｎｅｔ或Ｅｘｔｒａｎｅｔ网络的同时，网络安全问题也越来越重要．本文简述了网络安全问题的定义及解决策略；网络管理标准及协议．分析了网络安全管理需要解决的问题和典型的网络‘威胁’，介绍了可在网络的不同层次上采用的各项网络安全管理措施． 展开更多

关键词 网络安全 计算机网络 ISO 信息安全 INTERNET网

在线阅读 下载PDF 职称材料

CSCW网络安全问题探讨 被引量：3

2

作者 陈修环 石岩 杨槟 《计算机工程与应用》 CSCD 北大核心 1999年第1期68-70,89,共4页

该文从不同角度探讨ＣＳＣＷ系统的网络安全问题。分析ＣＳＣＷ网络安全策略；简述Ｉｎｔｅｒｎｅｔ网上常用的基于路由器及路由协议、ＲＡＤＩＵＳ（ＲｅｍｏｔｅＡｕｔｈｅｎｔｉｃａｔｉｏｎＤｉａｌＩｎＵｓｅｒＳｅｒｖｉｃｅ）、... 该文从不同角度探讨ＣＳＣＷ系统的网络安全问题。分析ＣＳＣＷ网络安全策略；简述Ｉｎｔｅｒｎｅｔ网上常用的基于路由器及路由协议、ＲＡＤＩＵＳ（ＲｅｍｏｔｅＡｕｔｈｅｎｔｉｃａｔｉｏｎＤｉａｌＩｎＵｓｅｒＳｅｒｖｉｃｅ）、身份认证（Ａｕｔｈｅｎｔｉｃａｔｉｏｎ）、访问控制（ＡｃｃｅｓｓＣｏｎｔｍｌ）、加密（Ｅｎｃｒｙｐｔｉｏｎ）、代理服务器（ＰｒｏｘｙＳｅｒｖｅｒ）、Ｗｅｂ服务器的安全机制、虚拟局域网ＶＬＡＮ（ＶｉｒｔｕａｌＬｏｃａｌＡｒｅａＮｅｔｗｏｒｋ）技术、网络管理及检测等提高网络性能和安全的重要技术；最后，给出一个可供参考的广域ＣＳＣＷ系统的网络结构及安全管理机制。 展开更多

关键词 CSCW 安全策略 防火墙 计算机网络 网络安全

在线阅读 下载PDF 职称材料

增强使用TELNET协议的安全性 被引量：1

3

作者 陈修环 石岩 王栋 《计算机工程与应用》 CSCD 北大核心 1999年第2期90-92,共3页

Ｉｎｔｅｒｎｅｔ技术在广泛用于各行各业形成各自的Ｉｎｔｒａｎｅｔ或Ｅｘｔｒａｎｅｔ网络的同时，网络应用的安全问题也显得越来越重要。ＴＥＬＮＥＴ是常用的网络应用协议之一，该文分析了ＴＥＬＮＥＴ协议的传输机制及安全漏洞，... Ｉｎｔｅｒｎｅｔ技术在广泛用于各行各业形成各自的Ｉｎｔｒａｎｅｔ或Ｅｘｔｒａｎｅｔ网络的同时，网络应用的安全问题也显得越来越重要。ＴＥＬＮＥＴ是常用的网络应用协议之一，该文分析了ＴＥＬＮＥＴ协议的传输机制及安全漏洞，根据自行开发的务性能路由器对安全性的要求，提出了在使用ＴＥＬＮＥＴ协议时增强安全性的解决方案，包括ＩＰ分组过滤、加密隧道、一次性口令认证技术（Ｏｎｅ－ＴｉｍｅＰａｓｓｗｏｒｄａｕｔｈｅｎｔｉｃａｔｉｏｎｓｙｓｔｅｉｎ，ＯＴＰ）及ＴＥＬＮＥＴ代理服务器（ｐｒｏｘｙｓｅｒｖｅｒ），实践证明该解决方案有一定实用价值。ＴＥＬＮＥＴ协议，ＩＰ分组过滤，加密隧道，一次性口令。 展开更多

关键词 TELNET协议 INTERNET网 TCP/IP协议 安全性

在线阅读 下载PDF 职称材料

表示层协议一致性测试的研究与实现 被引量：1

4

作者 陈修环 黄春波 《计算机研究与发展》 EI CSCD 北大核心 1999年第2期225-229,共5页

表示层协议是ＯＳＩ高层协议的一部分．文中介绍协议一致性测试的研究现状、测试过程及基本测试方法；分析表示层协议一致性测试需求；采用抽象语法表示（ＡＳＮ．１）与树表格式（ＴＴＣＮ）相结合的形式化描述语法，设计实现了表示层... 表示层协议是ＯＳＩ高层协议的一部分．文中介绍协议一致性测试的研究现状、测试过程及基本测试方法；分析表示层协议一致性测试需求；采用抽象语法表示（ＡＳＮ．１）与树表格式（ＴＴＣＮ）相结合的形式化描述语法，设计实现了表示层协议核心部分一致性测试系统及测试集；测试系统通过了对ＩＳＯＤＥ软件表示层协议实现的一致性测试．表示层协议一致性测试系统，是协议一致性测试系统（ＰＣＴＳ）的一个子系统． 展开更多

关键词 一致性测试 表示层协议 计算机网络 网络协议

在线阅读 下载PDF 职称材料

构筑Interneet/Intranet/Extranet网络环境

5

作者 陈修环 石岩 王栋 《电子技术应用》 北大核心 1999年第4期57-59,62,共4页

以AltaVistaFirewallforNT防火墙软件为例，从试验网络拓扑及软件，防火墙安装，配置使用，服务代理以及防火墙管理等方面概述怎样构筑一个安全的Internet／Intranet／Extranet网络环境。

关键词 络拓扑服务代理 防火墙管理 计算机网络

在线阅读 下载PDF 职称材料

会话层/表示层协议一致性测试的研究与实现

6

作者 陈修环 熊勇强 黄春波 《小型微型计算机系统》 CSCD 北大核心 1998年第8期6-12,共7页

会话层／表示层协议是ＯＳＩ高层协议的一部分。本文介绍协议一致性测试研究现状、测试过程及方法，分析会话层／表示层协议一致性测试需求，采用树表格式（ＴＴＣＮ）与抽向语法表示（ＡＳＮ．１）相结合的形式化描述语言，设计实现了... 会话层／表示层协议是ＯＳＩ高层协议的一部分。本文介绍协议一致性测试研究现状、测试过程及方法，分析会话层／表示层协议一致性测试需求，采用树表格式（ＴＴＣＮ）与抽向语法表示（ＡＳＮ．１）相结合的形式化描述语言，设计实现了会话层／表示层协议一致性测试系统及测试集。并对ＩＳＯＤＥ软件中的会话层／表示层协议实现进行了一致性测试，包括基本互连、能力、有效行为、无效行为及定向诊断等。 展开更多

关键词 一致性测试 表示层协议 会话层 计算机网络

在线阅读 下载PDF 职称材料

基于协议集成测试系统的IPv4协议一致性测试 被引量：9

7

作者 王建国 吴建平 +1 位作者 陈修环 冯晓东 《软件学报》 EI CSCD 北大核心 2000年第2期207-212,共6页

TCP/IP协议实现的一致性测试是保证 Internet网络设备之间互连与互操作的基础 .该文基于协议集成测试环境进行了 IP(Internet protocol)协议一致性测试研究和实际测试 ,并针对 IP端系统和中继系统分别采用了分布式和远程横断式测试法 ,... TCP/IP协议实现的一致性测试是保证 Internet网络设备之间互连与互操作的基础 .该文基于协议集成测试环境进行了 IP(Internet protocol)协议一致性测试研究和实际测试 ,并针对 IP端系统和中继系统分别采用了分布式和远程横断式测试法 ,设计生成了 IP一致性测试集 .并且已将 IP协议的一致性测试应用到路由器的开发和研制过程中 . 展开更多

关键词 协议测试系统 TCP/IP协议 INTERNET网 IPV4协议

在线阅读 下载PDF 职称材料

TCP/IP路由器安全传输系统的设计与实现 被引量：1

8

作者 吴铭 陈修环 吴建平 《通信学报》 EI CSCD 北大核心 1999年第3期48-53,共6页

以自行开发的高性能多协议路由器为背景，提出了一种基于ＴＣＰ／ＩＰ协议簇的路由器安全传输系统解决方案，包括路由器身份认证协议、状态维护协议、普通—加密状态切换协议及数据包加解密自动识别和透明打包四项关键技术，并且将其与... 以自行开发的高性能多协议路由器为背景，提出了一种基于ＴＣＰ／ＩＰ协议簇的路由器安全传输系统解决方案，包括路由器身份认证协议、状态维护协议、普通—加密状态切换协议及数据包加解密自动识别和透明打包四项关键技术，并且将其与基于“加密器”的安全传输系统作了比较。 展开更多

关键词 隧道加密传输 身份认证 因特网 TCP/IP 路由器

在线阅读 下载PDF 职称材料

MNSMP:一种基于分布式平台路由器的多节点状态维护协议 被引量：1

9

作者 吴铭 陈修环 吴建平 《计算机研究与发展》 EI CSCD 北大核心 2000年第7期843-850,共8页

路由器是计算机互联网络的核心设备 ,其性能和稳定性将直接影响整个网络系统的性能与稳定性 .分布式处理可以有效解决路由器的性能瓶颈 ,同时其冗余特性对于提高系统的可靠性具有重要意义 .提出了一种基于分布式多处理器平台路由器的多... 路由器是计算机互联网络的核心设备 ,其性能和稳定性将直接影响整个网络系统的性能与稳定性 .分布式处理可以有效解决路由器的性能瓶颈 ,同时其冗余特性对于提高系统的可靠性具有重要意义 .提出了一种基于分布式多处理器平台路由器的多节点状态维护协议 (MNSMP) ,有效地解决了分布式路由器系统中数据的一致性维护问题 ,并以双主节点冗余技术来提高整个系统的可靠性 .同时运用有限状态机工具来分析分布式路由器系统在正常运行、典型故障以及协议测试状态下的状态机运作情况 . 展开更多

关键词 分布式路由器 计算机互联网 MNSMP

在线阅读 下载PDF 职称材料

一种高效的分布式缓冲区管理策略

10

作者 王栋 陈修环 《计算机工程与应用》 CSCD 北大核心 2001年第6期35-37,共3页

当前，在由路由器架构的Internet中，网络物理层带宽的增加和应用层多媒体等技术的出现对路由器的性能，主要是对路由器的转发能力，提出了非常高的要求。文章着重论述了缓冲区管理技术在提高路由器性能方面的作用。在分析了传统缓冲区... 当前，在由路由器架构的Internet中，网络物理层带宽的增加和应用层多媒体等技术的出现对路由器的性能，主要是对路由器的转发能力，提出了非常高的要求。文章着重论述了缓冲区管理技术在提高路由器性能方面的作用。在分析了传统缓冲区管理方式之后，结合项目的分布式特点，提出了一种高效而实现简单的管理策略，描述了建立和使用该策略的协议，最后给出了性能提高的试验结果。 展开更多

关键词 网络性能 路由器 INTERNET 计算机网络 分布式缓冲区管理

在线阅读 下载PDF 职称材料

基于形式化技术的协议集成测试系统——PITS 被引量：28

11

作者 吴建平 陈修环 +4 位作者 郝瑞兵 徐明伟 杨家海 毕军 尹霞 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 1998年第S1期29-32,共4页

在协议测试中采用形式化技术将使协议测试更加精确和高效。文中讨论了一种基于形式化方法的协议一致性测试策略，并介绍了根据这种策略设计和实现的一个协议集成测试系统ＰＩＴＳ。这种协议集成测试系统除了用于协议一致性测试外，还可... 在协议测试中采用形式化技术将使协议测试更加精确和高效。文中讨论了一种基于形式化方法的协议一致性测试策略，并介绍了根据这种策略设计和实现的一个协议集成测试系统ＰＩＴＳ。这种协议集成测试系统除了用于协议一致性测试外，还可以用于协议的互操作性测试和性能测试。文章给出了这个系统的总体结构、系统工作过程和各部分的功能描述，还讨论了它在实际协议测试中的应用。 展开更多

关键词 协议测试 一致性测试 互操作性测试 性能测试 形式技术 协议集成测试系统

原文传递

一种综合数据流和控制流的协议测试集自动生成法 被引量：3

12

作者 王建国 吴建平 陈修环 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2000年第3期117-120,共4页

为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序... 为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序列算法和描述协议不确定性的适应性输入/输出树的概念 ,运用协议约束集控制协议空间搜索的复杂度。并采用测试集的验证技术分析测试集的覆盖能力。该方法已运用于 OSI协议和 TCP/ IP RFC协议的测试生成 ,大大提高了软件开发和协议实现的质量及进度。 展开更多

关键词 协议 计算机网络 测试集 综合数据流 控制流

原文传递