电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

核动力装置模拟器就地系统中双机通讯的实现

利用微机软仿真实现模拟器就地系统中仪表的动态实时显示和开关的实时控制，可以节省的大量外部设备，提高系统可扩充性。本文介绍了该技术实现的方法，即服务器与客户机之间数据双向通讯的实现途径。经实践验证，本文的方法是正确、可行的。     

防止网络ARP欺骗攻击的S—ARP协议

传统的IP—ARP协议缺乏基本的认证与完整性检查措施,导致ARP欺骗的安全攻击相当流行。S—ARP协议试图对传统的IP—ARP协议进行简单扩展并实现,主要通过对ARP报文进行认证及完整性检查措施来防止ARP欺骗攻击。该协议具体实现的方法是在内网Pc机上安装一个包含S—ARP协议的客户端软件,同时,在路由器上也添加了相应的协议模块,使ARP的广播报文是在有安全认证机制下进行各个结点之间的ARP类的信息交换,而ARP病毒软件发出的欺骗类的ARP报文不合有认证信息会被丢弃,自然也就无法产生影响了。     

基于交互确认机制的公平电子现金交易协议研究

公平性是电子现金交易协议应满足的重要属性,信道不可靠和交易实体不诚实是破坏交易公平性的主要原因。针对于此,借鉴不可否认转换签名的思想,构建交互确认机制,并基于改进的CEMBS可验证算法,提出一种新的公平电子现金交易协议,并对协议属性进行分析。分析表明,该协议有效解决上述原因引起的交易不公平问题,在满足公平性和匿名性的同时,可有效避免交易的模糊状态。     

高校计算机机房ARP病毒防范策略

本文介绍了ARP协议的概念、基本原理及ARP病毒的欺骗原理和欺骗种类。最后提出高校计算机机房ARP病毒的防范和解决措施．给出了实际解决方案。     

列车用CAN总线应用层协议研究与实现

铁路行业总线应用具有其自身的特点,目前还没有出现面向铁路专用的CAN总线应用层协议标准,本文以TCN(IEC61375-1)为参考,结合CAN总线自身的底层协议特点,借鉴了其他CAN总线应用层协议的优点,设计出面向列车总线应用的CAN总线应用层协议——Train-CAN协议.该文主要从该协议的报文分配、报文传输机制描述和网络管理方法3方面加以研究,并分析了一个典型的应用——分布式车载故障检测记录系统,通过该系统的实际运行情况证明了Train-CAN协议应用于铁路机车的合理性.     

认知无线电网络中保证服务质量的优化路由协议

基于路由与频谱管理的依赖关系,提出了一种频谱自觉地满足不同业务服务质量需求的优化路由协议.首先建立网络模型和优化分析,定义了链路度量和路径度量指标,路由协议选择端到端时延最小的路径,最大化网络吞吐量.然后提出了子频段和路径联合优化选择算法,对实时业务优先选择带宽抖动小和切换时延小的子频段及下一跳;对尽力传递业务优先选择带宽大的子频段及下一跳.最后提出频谱自觉的路由维护,通过局部频谱调整算法稳定路径不变,保证业务服务质量.仿真结果表明：该路由协议能满足业务服务质量需求,优化网络资源使用,减少数据包丢失,提高网络吞吐量.     

BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

Jabber与SOAP的代理框架及远程管理

为了解决对Jabber协议与SOAP(Simple Object Access Protocol)协议代理(以下简称代理)的管理问题,设计并实现了基于Web的代理管理端功能.提出并实现了代理的远程管理方式,对代理的XML(extensible Markup Language)配置文件不用进行本地手工配置.该代理的管理端实现了对代理的运行状态进行远程监视功能和测试代理的连接状态功能.其管理方式简明直观,对解决其他系统的管理问题,具有适用性.