OSPF网络设计

随着技术在全球范围的飞速发展，OSPF开放式最短路径优先协议已成为目前Internet和Intranet采用最多、应用最广泛的路由协议之一。     

IP数据包的深入研究

IP协议保证数据的传输,TCP协议保证数据传输的质量。目前使用最广泛的网络协议是TCP／IP协议,本文利用目前常用的协议分析工具对IP数据包进行了深入的分析。     

Diameter协议对RADIUS协议安全缺陷的改善

RADIUS协议是目前最流行的AAA(授权,认证,计费)协议,但协议本身存在明显的安全缺陷。Diameter协议是IETF的AAA工作组正在致力制定的基于RADIUS的新一代协议。文章分析了RADIUS协议内在的安全缺陷,并介绍了Diameter协议对RADIUS协议在安全方面的改善。     

应用ASN.1对SNMP中SMI进行描述的方法

简单网络管理协议是目前最广泛的网络管理协议,抽象语法记法是国际标准化组织用来描述协议的标准语法。本文详细说明了抽象语法记法1在简单网络管理协议的核心部分管理信息结构中的应用,全面阐述了简单网络管理协议管理网络实体的机制。     

P2P、PPP、JXTA协议的区别及其应用

在互联网络普及的今天，网络协议也让人眼花缭乱，特别是最常用的协议，究竟他们有什么区别，应用在什么场合，协议之间有什么联系，具体有什么应用，本文就最常见的而且容易混淆的协议P2P、PPP和JXTA进行简单介绍。     

多播水印协议MAMWP的BAN逻辑分析

 用形式化的方法分析密码协议可以检测出协议中的漏洞和证明协议的安全性,BAN类逻辑是目前使用最广泛的一种形式化分析密码协议的方法.文章介绍了基于移动代理的多播水印协议MAMWP和BAN逻辑,并给出了用BAN逻辑分析MAMWP协议的详细过程.     

论法院对涉外仲裁协议有效性及其适用法律的认定

结合我国与相关国家国际商事仲裁立法与实践和相关的国际公约,论述了目前世界上并不存在统一的认定仲裁协议有效性标准,而由各国法院依据应当适用的法律作出认定。鉴于各国法律对仲裁协议有效性的规定不同,我国法院应当适用管辖特定涉外仲裁协议的准据法,而不是在所有情况下均适用我国法对该仲裁协议的有效性作出认定。法院在决定涉外仲裁协议准据法时,首先应当考虑适用当事人双方在仲裁协议中共同选择的法律,如无此项选择,则应当适用与该仲裁协议有最密切联系的国家的法律来认定该协议的有效性。在国际商事仲裁立法与实践上,仲裁地点通常被认为与仲裁协议有着最密切的联系。     

浅谈通信网络中OSPF协议应用与算法优化

随着科技与经济的飞速发展,现代的通信网络日益趋向智能化、数字化、宽带化、个人化、综合化。通信网络中开放最短路径优先（OSPF）协议的应用日益重要。本文介绍了开放最短路径优先（OSPF）协议和通信网络的相关概念,对OSPF协议的应用机制和算法优化进行分析。     

一个高效的受限盲签名协议

受限盲签名协议用于电子现金协议中，其目的是为了能用“发现”的方法发现重复花费，提出了一个受限盲签名协议，与目前最高效的Brands受限盲签名协议相比较，其限制性更强，效率更高。还对该受限盲签名协议的安全性进行了证明。     

高效抵御DOS攻击安全密钥交换协议

JFK协议是一种新型的密钥交换协议,主要应用在IP安全体系结构中,是一种简单有效安全的协议.JFK中含有很多新的设计以满足各种需求,最显著的特点是满足协议前向秘密性(PFS)免受DOS攻击.     

一致性测试中的TTCN和MSC

计算机网络中,描述一种协议并对其进行标准化并不能确保成功的通信,这是因为协议标准目前基本上是使用自然语言描述的,对协议的不同理解会导致不同的协议实现.一致性测试就是测试协议实现是否符合协议说明.TTCN是一致性测试中最常用的技术,本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展,以及可以将测试用例可视化的技术MSC.     

一致性测试中的TTON和MSO

计算机网络中，描述一种协议并对其进行标准化并不能确保成功的通信。这是因为协议标准目前基本上是使用自然语言描述的，对协议的不同理解会导致不同的协议实现。一致性测试就是测试协议实现是否符合协议说明。TTCN是一致性测试中最常用的技术，本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展，以及可以将测试用例可视化的技术MSC。     

BOT国际项目特许权协议法律问题研究

BOT是最成熟的国际项目融资模式,政府特许权协议是其运作的核心文件。本文拟讨论特许权协议的法律性质,即其为国内法协议或国际法协议、行政合同或商事合同,并分析其在项目融资中的法律地位和具体条款,最终结合国内外实例,揭示其重要作用。     

基于攻击者的“角色冒充”的协议验证方法

网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架。实现的验证工具是证伪的     

酒店管理专业“订单教育”人才培养模式的实践与研究——以漯河职业技术学院为例

2005年,漯河职业技术学院与青岛大学国际学术交流中心签订了酒店管理专业学生实习协议,到2007年与杭州蓝山咖啡馆有限公司签订合作办学协议,成立“蓝山班”,多年的实践和探索证明,“校企合作、工学结合”是实现酒店管理专业人才培养目标的有效途径,“订单教育”是校企之间最直接、最紧密、最有效的合作形式。     

TCP/IP协议簇的复杂网络结构

应用复杂网络理论,针对TCP/IP协议簇的内在关系,以协议规范文档为节点,协议间的引用关系为边,构造网络图并分析其节点度分布、平均最短路径和群集性质。研究发现,协议间的引用关系具有复杂网络的基本特征:幂律分布、小世界效应和大群集效应。图分割计算的结果,表明协议间互引用关系网络比分层结构具有更丰富的局部特征。     

基于iSCSI协议校验算法的改进

CRC校验作为iSCSI协议中使用最频繁的一种检错机制,其算法的优劣会直接影响协议的执行效率.在分析传统CRC算法低效率的基础上,引入了一种快速并行的CRC算法,并根据iSCSI协议的特点对它进行了改进.测试结果表明,改进后的CRC算法在一定程度上减小了协议对CPU的占用率.     

认知无线Ad-hoc网络中的按需路由协议

认知无线Ad-hoc网络(CRAHN)近年来受到了广泛的研究,相应的路由协议也随之被提出。在这些协议中按需路由被认为是最具优势的。这主要是由于对AODV路由协议和DSR路由协议的适当改进可以很好的适应CRAHN网络。对一些基于AODV,DSR以及混合型的CRAHN按需路由的改进协议进行了总结,阐述了协议设计的基本原则,对比了不同协议之间的特点和性能。对其优缺点进行了总结和讨论,并分析了未来的研究难点。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

多频无线通信网路由协议

针对多频无线通信网的特点,设计了一种多频无线通信网路由协议(MCWN-RP).协议采用组播扩散机制优化扩散路径,采用非重传确认机制减少报文种类,采用最短路径树构造算法降低扩散内容,采用自适应定时器调整机制减少网络冲突,从而大大降低了协议开销;同时采用差别拓扑更新方式,提高收敛性能.对MCWN-RP进行了协议开销和收敛时间的性能分析,得出协议性能与拓扑更新包大小和协议包发送间隔的关系.OPNET仿真结果表明,与OSPF、OLSR协议相比,MCWN-RP具有非常小的协议开销和较高的收敛性能,是一种高效的动态路由协议.