基于Petri网的带宽共享系统设计

针对局域内网单台计算机下载外网资源速度慢的问题,本文以Petri网为系统逻辑设计工具,提出一种基于P2P(Peer to Peer)分布式结构的外网带宽共享协议。该协议指定内网多台计算机在外网下载所需文件的不同片段,再由局域内网传输给任务发起者所属计算机进行原文件整合。协议充分利用多台计算机的并行下载能力以及局域内网的快速传输能力,从逻辑层面提高了单台计算机的下行带宽。本文进一步通过基于Petri网的可达标志图,S_不变量和流程图方法对协议的逻辑正确性和行为许可性进行了验证。     

基于时间Petri网的MIKEY协议密钥分发研究

MIKEY协议是一种可应用于实时的、多媒体通信的密钥管理协议,密钥分发是密钥管理协议的一个重要内容.本文对MIKEY协议提供的三种密钥分发方式进行了基于时间Petri网的分析,并对其中公钥分发方式构建了中间人攻击的时间Petri网模型.     

无线网络安全协议Kerberos的Petri网建模

由于无线网络与移动设备的特点,无线网络安全协议的执行环境变得更为复杂。对比了网络安全协议WAP、IEE802.1X、EAP、WPA认证协议和Kerberos协议。Kerberos协议在身份委派和身份验证方面较为高效,成为常用的无线网络安全协议。Petri网作为信息化建模仿真的常用工具,能以图形化、层次化的方式描述系统。在分析Kerberos协议工作原理的基础上,采用Petri网工具CPNTools对Kerberos协议进行建模与仿真,采用图形化方式,直观地表达了该协议特点。     

USB接口与1394接口的比较

USB传输类型包括批量传输、同步传输、中断传输和控制传输,每种传输类型的传输速度、可靠性以及应用范围都不同.控制传输可靠性是最高的,但速度最慢;同步传输速度快,但可靠性低.IEEE1394接口的传输通过分层协议实现,分为物理层、链路层和业务层,它规范了一个三层协议集,将宿主系统经由串行总线与各外围设备的交互动作标准化.     

PPP协议及连接剖析

PPP协议(Point-to-Point Protocol)是目前广域网上应用最广泛的协议之一，PPP是为在同等单元之间传输数据包而设计的链路层协议。本文通过对PPP协议进行剖析，分析了PPP的基本原理，并简单介绍了PPP的连接过程。     

支持IPv6的认证计费

采用802.1x协议和基于网关认证结合的二次认证,能利用两种技术的优点克服各自的缺点。本文采用二次认证,采取了基于链路聚合的负载均衡、认证系统从计费网关分离的分布式模块化设计,并且核心认证网关工作在数据链路层,对整个网络来说是一个透明网关。     

通信网络中的流量控制

流量控制是计算机通信网络的一个重要课题，目的是保证通信过程中链路的畅通和数据的正确传输。本文在总结常用流量控制控制方法的基础上对OSI/RM中进行流量控制的数据链路层、网络层和传输层中各个协议的特点进行分析，以便说明流量控制在整个通信网络中的实现机制。     

基于扩展数据对象Petri网的工作流模型的研究

通过对当前工作流模型研究现状的总结分析,发现针对工作流中的数据信息的建模方法还存在局限性。因此,通过结合过程模型和数据对象模型,提出了一种扩展数据对象工作流Petri网模型,并给出了模型的形式化定义。     

基于UDP隧道的数据链路层实验设计

为配合计算机网络课程的教学，我们设计了基于UDP隧道技术的数据链路层实验。该实验改进了Andrew S．Tanenbaum数据链路层实验的仿真方法，使得实验开展模式更灵活、多样化。实验内容增加了建链、拆链和状态转移过程，更全面地体现了数据链路协议的完整过程。     

细数局域网中ARP攻击类型

ARP协议是工作于数据链路层的协议,由于其本身的缺陷,造成了局域网ARP攻击的频发,并且攻击的手段和类型日益增加.本文在ARP协议原理的基础上,分析了几种比较典型的基于ARP协议的攻击类型,并提出了相应的防范策略.