电子商务协议的串空间分析

电子商务协议常常具有复杂结构,协议可能由多个子协议组合而成.因此,电子商务协议的安全分析较认证协议更为复杂.传统的信念逻辑不适宜分析电子商务协议.Kailar逻辑适宜分析电子商务协议的可追究性,但不适宜分析协议的公平性.本文介绍并扩展了串空间逻辑,分析了ISI支付协议的串,并证明其不满足公平性.还提出一种新的串节点路径法,用以分析了ASW协议,该协议系由多个子协议组成的分支结构协议,通过串空间分析证明了该协议的公平性.通过对两个协议的分析,分别提供了对电子商务在线交易协议和离线交易协议的形式化分析方法.     

应用组合方法设计复杂安全协议

针对目前安全协议设计存在的方法抽象、适用范围小及复杂的特点,提出一种新的安全协议设计方法.给出了协议中基件与组件的定义,分析了组件的安全属性并基于组件设计实现相应安全目标的单步协议.最后,定义组合规则确保不同的单步协议能够组合成为一个复合协议的同时各个单步协议还能实现各自的安全目标.根据应用背景选择单步协议按组合规则组合后便可得所需的安全协议.研究结果表明,该方法可将一个复杂协议分解为若干简单的单步协议,使得协议的设计与分析都易于实现.     

"线性结构"Ad hoc网络DSR及AODV路由协议的性能

路由协议对Ad hoc网络的性能影响很大.为了给"线性结构"Ad hoc网络找到合适的路由协议,研究了DSR和AODV协议的工作原理,对比分析DSR和AODV协议共性和区别.采用OPNET仿真"线性结构"网络环境,对比分析DSR协议和AODV协议的网络性能.仿真结果表明,DSR协议在分组投递率和吞吐量比AODV协议好,DSR协议的路由负荷比AODV稍差.     

电子商务协议中的可信第三方角色

在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对上述协议进行了全面的分析,分别指出它们的特点、缺陷与改进方法.     

基于Strand模型的Needham-Schroeder协议分析

Strand空间模型是一种安全协议分析模型.使用图的形式来描述协议,证明协议的正确性.通过分析研究,本文建立了攻击者模型.并在此基础上运用安全协议的形式化分析方法-Stmnd空间模型,对公开密钥协议NSPK进行了分析,说明了该方法进行协议分析的过程,证明了该协议在保密性和认证性方面的正确性,并分析了该协议存在的安全缺陷.     

LCNA设备中IPSEC的分析与实现

有限的资源限制了在LCNA设备中完整的实现IPSec协议,在协议实现中要求简化协议功能或裁剪协议模块.同时有限的计算能力也限制了IPSec的吞吐率,需要简化协议处理流程.分析了AH协议和ESP协议及传输模式和隧道模式功能上的重复,给出简化协议实现的建议,以使协议能适应有限的ROM空间.然后以减少代码量和提高处理效率为目标,提出了协议的实现方法.最后在实现的基础上讨论并分析了使用IPSec传输数据时的性能.     

802.11i的认证安全性分析

IEEE设计802.11i协议解决无线局域网的安全问题.802.11i协议的形式化分析,对于确保该协议的正确性至关重要.利用串空间理论对802.11i协议进行建模,在串空间模型中验证协议的认证属性.结果表明,802.11i协议能够安全实现它的认证功能.     

无线传感器网络MAC协议研究

媒体访问控制协议是保证无线传感器网络高效通信的关键网络协议之一,传感器网络的性能如吞吐量、延迟性能等完全取决于所采用的MAC协议.与传统网络的MAC协议不相同的是,无线传感器网络的MAC协议首要考虑的因素就是节省能量.针对无线传感器网络的要求,研究人员提出了很多MAC协议,本文中将现有的MAC协议分为三类:随机竞争类MAC协议,时分复用MAC协议,混合型MAC协议.并分别就其中的典型协议进行了分析.     

一种基于投标结果修正的合同网协议

合同网协议是一种广泛应用于多Agent系统的合作协议. 针对传统的合同网协议, 提出一种基于投标结果修正的合同网协议, 并论述该协议的合作过程, 说明该协议简化了传统合同网协议的工作过程. 最后把该协议应用于一个风力/太阳能互补发电系统的实例中, 结果表明该协议的工作效率比传统合同网协议更高.     

Kerberos协议的安全性增强方案

身份认证是网络安全的基础.针对s/key协议的安全缺陷,构建了基于ECC数字签名链的一次性口令认证协议EOTP.利用一次性口令认证协议EOTP和对称密钥体制AES,针对Kerberos协议的安全缺陷,给出了一个改进的Kerberos协议.经过分析对比,改进的Kerberos协议具有更好的安全性.     

VxWorks在某导航计算机设计中的应用

在嵌入式实时操作系统平台下进行软件设计是目前综合航天系统设计的一个重要趋势,在简述某机载导航计算机硬件设计的基础上,介绍了基于VxWorks平台的软件设计过程,并详细阐述了VxWorks设备驱动程序的设计方法.     

基于MIPS的流媒体流量均衡设备的设计

针对中小型园区网视频点皤VOD(Video on Demand)应用中因网络带宽及点播服务器I/O带宽不足导致的系统阻塞问题,提出一种新型网络设备--流媒体流量均衡设备.该设备基于MIPS处理器,操作系统采用Linux,具有成本低廉、功耗低、易于安装部署等优点,基于该设备的VOD方案实用性强、性价比高、可伸缩性好.试运行证明该设备的使用效果良好,具有较高的经济可行性,可广泛应用于中小型园区网VOD系统的建设与改造.     

应用稀疏数组存储病案首页数据研究

病历数据性质特殊，一般数据模型用于其管理比较困难，因此需要研究寻找适合的特殊数据模型。病案首页是病历的一种摘要，病历数据的许多特性均反映到病案首页中。本文将介绍一种应用稀疏数组存储病案首页的存储结构设计，以及基于稀疏数组的病案首页系统如何利用稀疏数组的特性，使存储结构既能保证长久数据的应用连续性，又能不断适应结构变化，同时介绍其独特的数据存储体系和数据备份方案。     

基于双目协调的小型全自主足球机器人导航

对所开发的小型全自主足球机器人只依靠双目异构视觉进行导航问题进行了研究．建立了双视觉测量目标相对和全局坐标的模型，给出了上目和下目的基本导航方法．然后重点分析了基于双目协调的足球机器人导航数据融合方法和双目协调机理．在所开发的全自主足球机器人上进行的实验及在FIRA的世界杯赛上机器人的成功表现，证明了双目协调导航的有效性和实用性．     

基于CORBA技术的分布式入侵监测系统模型

网络技术迅速发展,网络规模曰益扩大,传统的入侵监测系统的功能受到很大限制。基于分布式计算的分布式入侵监测技术是解决问题的好方法。本文首先简要介绍网络安全现状、入侵检测技术和CORBA技术,然后给出应用CORBA建立的分布式入侵监测系统体系结构。     

基于LabVIEW风电监控系统的通信设计与实现

为了实现风电实验台监控系统的实时通信,提出了一种基于LabVIEW和OPC(OLE For Process Control)技术的通信方法。在分析了OPC原理和LabVIEW的DataSocket技术原理后,设计了基于风电监控的通信系统,由LabVIEW和Rockwell公司的AB-PLC、Rslinx组成。通过对AB-PLC的硬件配置、Rslinx OPC服务器的配置以及LabVIEW共享变量的应用和框图编程,实现了LabVIEW对风电机数据的实时监测。结果表明通过Rslinx OPC服务器,可以简便、有效地在LabVIEW与AB-PLC之间交换数据,并且共享变量的应用,增强了监控系统的可靠性。     

一种优化计费模型IAS的研究

本文首先讨论了一种计费模块和主模块分离的计费系统IAS（Independence Accountin System) 的设计,然后以网络流量模型为基础,对基于网络会话模型的该计费系统进行了深入讨论,重点阐述了日志文件长度和取样间隔等影响整个系统性能的关键参数间的函数关系。     

基于MVC模式的高校教学评估信息系统的设计

探讨了基于校园网构建一个高校教学评估信息系统的必要性,在进行系统需要分析的基础上提出基于J2EE平台和MVC设计模式构建高校教学评估信息系统的设计方案,并详细设计了模型层类和控制层类.     

多Agent诊断系统中合作任务调度算法的实现

多Agent系统的核心问题是多Agent的合作和问题求解,在多Agent系统合作的调度算法中引入遗传算法,能更准确和更有效地进行问题求解。文中在介绍多Agent系统结构的基础上,分析了多Agent的合作问题以及基于遗传算法的调度算法,并在一个实用系统中实现了合作任务调度算法,达到了预期效果。     

XML树匹配算法在城市照明故障诊断专家库中的应用

针对照明系统故障诊断专家库中故障诊断信息的特点,提出用XML文档来构建专家库的思想。在研究无序树包含匹配的基础上,提出了一种改进的基于XML文档树型结构编码的XML树匹配算法。并通过实例阐述算法在城市照明故障诊断系统中的应用。实验结果表明,这种设计思想和算法在故障诊断信息查询匹配过程中具有较高的查全率和查准率,能够有效降低照明系统中的故障发生率。