无线网络中TCP与Ipsec的兼容性研究

针对有线网络设计的传输控制协议(TCP),在应用到无线环境中时存在许多不兼容问题,必须对TCP进行修改.目前人们提出了几种对TCP协议在无线网络环境下的改进方案,但是这些改进方案同IP安全协议(IPsec)存在一定的中突.文章分析了IPsec与TCP的改进方案之间的冲突问题,给出了4种解决方案:用传输层安全协议/安全套接层协议(TLS/SSL)代替IPsec、扩展封装安全载荷(ESP)协议、对TCP路径分段和修改IPsec的端到端保护模式,并分析了各方案的优缺点.     

多冗余点到点链路下OSPF扩散算法的一种改进方案

文章讨论了OSPF路由协议的扩散算法在多冗余点到点链路情况下存在的缺陷,提出了一种基于扩散接口选举的改进方案。     

互联网技术和国际互联网

本文先是说明internet、Internet和intranet各自的涵义和相互的区别 ,并简单介绍互联网的几项基本规约 ,包括IP、TCP、UDP、FTP、TFTP、SMTP和HTTP。其次说明WWW及其使用的超文本 /超媒体、浏览器和客户 /服务器技术的作用 ,解释Internet的骨干网和接入网以及内部网与防火墙。最后推测Internet的应用发展前景。     

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

通讯网的演进

在光纤高速传输技术、光交换与智能光网等与宽带接入、多媒体、3G等网络应用技术的推动下，建设基于IPv6协议的IP基础电信网成为可能。现在IP网正在朝着有序的、可管理的、有QoS保障的、可以支持各类业务的综合业务基础网演进。电信网也正在从网络接入层上、从长途网络层面上、从本地网络层面上、从固定网向含3G在内的移动网络等方面向支持IP技术及其综合业务的方面全面推进。     

Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.     

Formal Analysis of Streaming Downloading Protocol for System Upgrading

For a PC-mobile download system which is embedded with streaming download protocol, there are problems that the data cannot be transmitted correctly from the PC to the mobile, or the transmission is unacceptably slow. To solve these problems, we carry out a formal analysis for the protocol with some timing parameters and a given probability of message loss and unordered data using a probabilistic model checking tool PRISM. We introduce a technique to reduce the state space of the system modeling the protocol which is a network of probabilistic timed automata. The experimental results in PRISM give us a clear explanation to the problems, and are helpful in identifying the optimal parameter settings to meet industrial requirements.     

新一代智能城域光网络

本提出了一种标准化的光控制平面。阐明了开了用于光传输网的控制平面所遇到的选择与挑战。光控制平面被分解成邻居发现、服务发现、连接控制和拓扑、资源发现等几个基本的过程。不同的网络组织和分割导致了几个不同的自动配置模型：软性持久链路模型、用户接口模型和对等模型。这是构成以IP为中心的光传输网的控制和管理基础。同时也介绍了基于SDH光交换的新一代CIENA公司智能光网络，它具有大容量光交换能力和网络拓扑结构自动发现、端对端电路配置、带宽动态分配等功能及特点，将大大提高数据、电路业务的服务质量，新一代智能光网络是干线和城域网络交换传输最佳的选择。     

WDM光环形网络保护及实现方法

提出了WDM环形网络的几种保护方案,分析了利用1:1环路配置方式进行WDM光环形网络保护的实现方法,简单介绍APS在环保护中的应用。