一个基于模态逻辑的安全协议度量方法

为将量化分析方法引入安全协议分析中,以模态逻辑方法为基础定义了协议度量方法,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法,同时在此基础上,进一步地给出了对安全协议冗余进行度量及化简的方法。应用该方法对实例协议进行分析,直接描述各协议内容的贡献度,显示冗余内容对目标实现的无效作用,从而可以安全化简。量化分析在安全协议形式化分析中的应用是本方法的主要特点,它具有模态逻辑方法的优点及缺陷。     

基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.     

SSL协议与SET协议的分析与比较

电子商务安全问题的核心和关键是电子交易的安全性,目前电子商务交易中广泛使用的两种安全在线支付协议是安全套接层SSL协议和安全电子交易SET协议。其中,SEL协议已经得到了广泛的应用,而SET协议则是今后的发展趋势。本文首先对这两种协议的工作原理进行了分析和比较,同时对这两种协议各自存在的主要问题进行了深入探讨,并在此基础上提出对这两种协议的改进设想,阐明在未来一段时间里,必将由SET与SSL并存过渡到一种融合SET与SSL的新型安全协议。     

数据传输协议在卫星网络中的性能分析

TCP协议是目前互联网上广泛使用的数据传输协议,当它用于卫星网络环境时,由于受时延、带宽等因素的影响,协议传输效率明显下降。介绍了为适应卫星网络环境对TCP协议机制的一些改进,和一种专为卫星环境而设计的卫星传输协议－－STP。通过模拟实验对几种协议实现方案的性能进行了分析和比较,实验结果表明：STP协议不仅具有较高的前向吞吐量,而且需要的反向信道带宽更少,在改善卫星系统性能方面优于其他改进方案。     

混合UDP-TCP协议在PDA浏览器设计中的应用

在PDA（个人数字助理）中浏览器的设计中,由于无线网络延迟大、带宽窄,所以基于TCP协议的HTTP应用并不是理想的传输协议。但使用UDP作为短会话时的传输层协议,而对于有大量数据需要传输时则使用TCP作为传输层的协议,这样的混合协议可以很好的解决数据传输的问题。     

SIP协议组合模型的研究

在传统的会话发起协议的实现中,实现软件可重用度低、不易于SIP(会话发起协议)的功能扩展,文中采用基于CSP(通信顺序进程)理论的协议组合模型将SIP协议分解成协议构件,准确地描述了SIP协议实体之间的交互,在此基础上建立了一个可以方便地、灵活地进行SIP功能扩展的SIP协议组合模型。这个组合模型首先将SIP协议分解为具有独立功能的构件协议,然后通过这些构件协议的组合来实现更多的SIP功能。这个模型解决了传统的SIP协议实现软件可重用度低、不易于进行功能扩展等缺点。同时,采用CSP对该模型进行形式化描述,从而说明通过构件协议的组合可以实现SIP的功能。     

Jabber与SOAP协议Agent模型及其实现

为解决其他应用系统与Jabber系统的通信问题,讨论了Jabber协议与SOAP(Simple Object Access Protocol)协议,并对这两个协议进行了比较.提出一种Jabber协议与SOAP协议的代理模型,并用Java语言实现了Jabber协议与SOAP协议的相互转换.该代理适用于基于Jabber协议的系统与其他应用系统的连接,对Jabber协议系统的功能进行了扩展,解决了其他应用系统以Webservices方式与Jabber系统的通信问题.     

一种ZigBee-TCP／IP无缝网关模型

异架构数据通信的研究成为电力集抄系统应用中的关键性技术之一,文章在分析了ZigBee协议栈和TCP/IP协议栈的基础上,给出了ZigBee协议与TCP/IP协议的地址转换机制和数据格式转换模型,并由此建立了一个ZigBee-TCP/IP无缝连接的网关模型;通过改进LWIP协议栈实现了ZigBee协议与TCP/IP协议的转化;最后通过搭建软硬件平台来实现整个网关的设计。     

SSL协议与SET协议探讨

对电子商务安全协议SSL协议和SET协议的功能、工作原理以及各自存在的问题进行探讨。     

基于着色petri网的安全协议验证方法

设计安全协议时，协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤，验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析，证明了这种方法的有效性，并根据分析结果给出了改进后的STS协议．     

基于协议状态分析的入侵检测系统

提出了一种基于协议状态分析的入侵检测方法,不仅充分利用了协议的状态信息,而且考虑了相邻的数码包的内容状态,构造出协议状态序列,通过状态转换来检测入侵,有效地完成网络各层协议的分析,提高了检测的全面性、准确性和效率,实验结果表明是可行的。     

IPComp协议在IPv6中的研究与实现

实际应用中,当对IP数据包应用AH或ESP协议时,会导致传输的IP数据包长度增加,加重网络负载,数据包被再次分段,增大数据传输的时延等问题。介绍了使用IPComp协议对经过IPsec处理的数据包进行压缩的方法,并实现了在支持IPv6协议的Linux平台下数据包经IPComp协议压缩后的数据传输。     

一种小额支付协议的研究与设计

分析了PayWord这种小额支付协议,针对PayWord的一些关于交易原子性的局限性,提出了一种新的支付协议--CertWord,此协议沿用PayWord协议的Payword链来表示货币,充分利用交易证书对交易信息进行签名,并记录交易步骤的状态,从流程上保证交易的原子性。     

生成树协议分析及其实验的设计与实现

介绍了生成树协议产生的背景、技术原理以及实现过程,通过具体实验验证了生成树协议在交换以太网中的巨大用途。在交换机上使用debugging STP命令调试生成树协议相关信息以及通过端口镜像,利用协议分析软件捕获BPDU数据帧,详细展现了生成树协议工作的全过程。     

TCP/IP协议中IP协议的设计与实现

简要介绍了网络协议的基本设计方法，并利用该协议设计思想，结合TCP／IP协议的基本原理，借鉴Berkeley联网程序代码，在VC软件开发环境下编程实现IP协议的基本处理功能．并且从协议设计的角度描述了IP协议模拟实现的细节，讨论了IP协议的执行效率、安全性、可靠性等方面的问题．     

Internet路由技术的研究

Ｉｎｔｅｒｎｅｔ 内部路由技术是网络技术的关键技术。ＲＩＰ 和ＯＳＰＦ 是两种内部路由协议, 一种属于距离向量协议, 一种属于链路状态协议． 本文通过对这两种协议的分析比较说明了ＯＳＰＦ 取代ＲＩＰ 的原因．     

基于Winsocket的EIP协议框架

EIP协议模组程序化有利于降低工业控制总线开发成本,提高组态灵活性.通过运用Winsocket数据传输机理,基于TCP/IP协议族服务支持,实现了开放式EIP协议针对工业现场总线应用层协议数据的标准化封包与传输框架.经过试验与实际应用,开发的EIP协议模组能够有效服务于工业现场总线应用层协议.     

风电场跨平台协议转换系统设计与实现

开发了一种协议转换系统,在Eclipse环境中采用跨平台JAVA语言进行编程实现,通过编写MODBUS TCP/IP协议、OPC协议、104/101协议的API类来实现以上几种协议的相互转换,可将转换后的数据上传给风电场从SCADA系统读取数据的厂家,采用改进的CRC算法来保证协议转换后数据的准确完整.读取的数据存储在内置数据库中,通过地址映射表进行数据转发,支持实时数据上传,亦支持经过复杂计算后的统计数据和历史数据上传,支持跨平台操作系统,安全可靠,能够满足最新风电场电网标准要求.     

一种安全协议的逻辑分析与改进

采用BAN逻辑对著名的Needham—Schroeder(NS)协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性．分析结果表明,该协议只有增加初试假设,即用户B获得的会话密钥是新的会话密钥的前提下才能达到认证的目标,并提出改进方案．     

SIP协议在VoIP网关中的应用

SIP协议是下一代网络(NGN)中的重要协议,本文对SIP协议的结构及实现方法等做了概要介绍,在此基础上将SIP协议栈应用于BCM1101的VoIP网关系统中,采用开放源代码的SIP协议栈oSIP实现呼叫控制,并且扩充oSIP协议栈的REFER功能,实现多方会议控制.该系统具有广泛的适用性和良好的可扩展性等优点.