网络协议的形式化分析与设计

随着形式化方法和技术的日趋完善,网络协议的开发已逐步从非形式化描述、手工方法实现过渡到已形式化描述技术为基础,渗透到网络协议分析、综合、测试等各环节的软件工程方法。本文从网络协议的基本要素、协议的形式化模型介绍了网络协议,并从协议的性质描述、不变性分析、可达性分析、基于有序二叉判决图的符号模型检验对网络协议进行了形式化设计与验证,最后进行了测试。     

浅析网络协议对局域网性能和应用的影响

本文基于教学局域网环境,描述了局域网中的三种常用协议在网络中所起的作用,在异构型网络系统中,windows NT网和Novell网互连环境下,网络协议的组合与优化对网络规模、速度和管理等方面的影响。     

基于WinPcap的实时网络监测系统

实现了一个基于WinPcap的实时网络流量监测系统,完成了数据包级和流级的流量指标,包括2~7层协议分布,不同协议的流量速率,包大小分布,不同聚集程度的流分布,前N名的IP主机和主机对分布等;并提供网络运行状态的告警指标.实验结果表明,对于100 M以太网,基于WinPcap的软件捕获流量监测程序的处理上限为60 000 packet/s,完全可以胜任100 M以太网监测需求.     

移动Ad Hoc 网络的安全问题

Ad Hoc网络是一种没有固定基础设施、网络拓扑不断变化的新型网络,固有的脆弱性使它容易遭受各种安全威胁。主要介绍了首先分析了移动Ad Hoc网络的不安全因素以及现有协议的不足之处,然后将移动Ad Hoc网络在密钥分配与管理、入侵检测两个方面的安全方案进行了分类论述,并指出了下一步研究方向。     

基于RTL8019AS单片机在网络数据传送中应用

为节约资源降低成本，充分利用现有串口设备和丰富的现有的以太网资源，使测控数据能实时传送，达到对测控设备的实时测量和控制。利用芯片RTL8019AS制成基于普通单片机的廉价的网络数据传送装置，通过该装置能够直接实现单片机将带有RS-232、RS-485自自测控设备变成以太网测控设备，通过互联网进行数据传送，做到对被控制设备的实时监测和控制，取得良好的效果。     

IEEE 802.1x 认证技术的原理和应用

介绍了IEEE802．1x协议的起源、体系结构、技术特点等，指出了需要认证的端口有受控和非受控两种状态，没有通过认证前，只有EAP报文可以通过端口到达认证服务器，认证通过后，其他数据报文才可以通过。     

基于ARM的嵌入式网络平台的设计

本文以ARM920T微处理器和CS8900A网络芯片硬件平台为基础,设计一个完整的嵌入式网络系统.经过仿真测试分析,这一系统基本达到小型网络或个人网络的数据分析、网络服务等功能的性能要求,同时也具有硬件扩展的适应能力.     

浅议计算机网络协议与分层

本文叙述了用于网络系统的软件的结构并解释硬件何以不能单独解决所有的通讯问题,说明了协议软件的必要性,讨论了网络协议软件必须处理的问题,以及解决问题的技术。文中简述的分层概念,对理解一套完整的协议怎样与硬件协同工作而构成一个强大的通信系统提供了概念基础。     

串口-网络协议转换器设计与实现

针对现场总线与工业以太网互连需求研究并设计了一个串口一网络协议转换器.它能够实现多个串口设备的数据采集和控制,再通过以太网接口与PC机相连.从硬件和软件分为2个主要部分进行研究.硬件部分将μC/OS-Ⅱ作为嵌入式操作系统,选择LPC2210作为控制器,串口处理模块采用MAX3232芯片对uART进行RS232电平转换;以太网控制芯片选用常用的10M ISA总线接口的RTIJ8019AS.软件部分主要分为μC/OS-Ⅱ嵌入式操作系统的移植与串口驱动模块的设计与实现.     

A Secure and Pragmatic Routing Protocol for Mobile Ad hoc Networks

An ad hoc network is a group of wireless mobile computers （or nodes）, in which individual nodes cooperate by forwarding packets for each other to allow nodes to communicate beyond direct wireless transmission range. Because of node mobility and power limitations, the network topology changes frequently. Routing protocol plays an important role in the ad hoc network. A recent trend in ad hoc network routing is the reactive on-demand philosophy where routes are established only when required. As an optimization for the current Dynamic Source Routing Protocol, a secure and pragmatic routes selection scheme based on Reputation Systems was proposed. We design the Secure and Pragmatic Routing protocol and implement simulation models using GloMoSim. Simulation results show that the Secure and Pragmatic Routing protocol provides better experimental results on packet delivery ratio, power consumption and system throughput than Dynamic Source Routing Protocol.