基于有限自动机的SIP仿真测试器设计

把有限自动机的思想和SIP(Session Initiation Protoc01)协议仿真测试器的设计相结合,给出了SIP测试方案的有限自动机描述,并设计了一种基于有限自动机的SIP仿真测试器。该测试器使用户摆脱了专门高级编程语言的学习,便于用户掌握使用,测试器支持IPv4／IPv6,适应IP技术的发展,为测试平台的设计提供了一种新方法。     

政务数据交换协议的研究

针对政务信息化建设中出现的"信息孤岛"、缺乏统一标准等问题,提出了政务数据交换协议研究的重要性.文章提出了协议的设计原则,介绍了协议的体系结构和研究设计方法,并结合实例阐述了这种方法的设计流程,验证了其可行性.     

一种交换协议的理性模型及其公平机制设计

理性交换协议是解决小额支付的有效方法,但是由于参与者的自利性,理性交换协议的公平性较难满足。论文首先对理性交换过程中的集体利益进行形式化定义,并基于占优策略构建理性参与者模型,以及基于占优策略和集体利益建立理性交换协议的公平性模型;其次基于激励相容理论设计理性交换协议的公平机制,基于理性交换协议的公平机制和扩展式博弈构建理性交换协议的理性博弈模型,并基于理性交换协议的博弈模型设计了一个理性交换协议;最后基于相关博弈方法证明所设计协议满足正确性和理性公平性,并用一个案例说明方案的可行性。     

电子电路协同设计中数据交换及其仿真应用

针对电子电路协同设计中设计数据共享及其在仿真中的应用提出解决方案，该文以工作站上电子CAD工具Mentor和Cadence为例，分析底层数据文件结构与格式，给出原理图，网表和两个层次数据交换的途径以达到同一设计应用不同仿真器的目的。     

有限理性条件下投票过程的元胞自动机模型研究

有限理性理论认为个体的决策能力是有限的,本文建立元胞自动机（CA）模型研究群体决策中有限理性个体的投票过程,给出了CA的演化规则,模拟了相互邻接的个体问的相互作用,观测到了投票过程的一些微观现象。元胞自动机理论将是推动自然科学和社会科学发展的一个有效工具。     

一个公平电子合同签署协议的设计

根据公平交换协议的特点，提出了几个公平交换协议的设计原则，并设计出一个简单有效的两方乐观公平电子合同签署协议。最后还对该协议的安全性进行了讨论，来说明该协议满足公平交换协议最重要的公平性以及一些其它的基本性质。     

基于有限自动机的密码协议入侵检测方法*

提出了一种在密码协议运行中,基于有限自动机原理检测其上攻击的方法,详细介绍了该方法的工作原理,并通过实例验证了此方法的可行性,最后给出了该检测方法原型系统的测试结果.     

基于Swarm平台的理性密码协议建模与仿真

针对现实世界中理性密码协议的参与者博弈过程不易观察和预测的问题,文章在多智能主体的仿真平台Swarm上对理性密码协议中参与者的诚实策略和非诚实策略行为进行了建模和仿真。文章首先定义了主体的收益矩阵,进一步根据收益矩阵建立了参与者在整个博弈过程中的状态复制方程;然后求解出该方程的三个均衡点,即所有参与者分别采用诚实策略、非诚实策略和混合策略时的不同均衡点取值,根据这三个取值设计了协议执行过程中主体间的博弈算法;最后,文章在Swarm平台上定义了博弈主体所需要的各个对象。由于Swarm平台上的基本对象功能不能完全满足理性密码协议仿真的需要,文章改造了Swarm平台上部分主体对象功能,给出了改造的关键代码,对协议交互过程中的博弈行为进行了仿真。仿真的实验结果表明,Swarm仿真工具可以有效观察到参与者的理性选择过程;并通过调节博弈算法中的收益参数来达到预期效果,使博弈在较少的次数内达到博弈的稳定均衡,同时使得选择诚实策略的参与者占总人数的一半以上。文章提出在Swarm平台上进行理性密码协议仿真的方法,对使用计算方法研究理性密码协议具有一定的参考价值。     

开放标准的数据交换协议与LBS平台开发

从统一标准的角度出发 ,参考了当前国外最新的研究 ,提出了一种用于 L BS平台上的 XML机制 ,XML已成为解决 LBS系统中诸如数据组织、传输、转换与共享 ,以及与互联网无缝结合等技术难题的主要途径     

对一个公平文件交换协议的博弈分析与改进

文献[1]提出了一个基于证书机制的公平文件交换协议——Ping-协议,文章利用文献[6]中提出的基于博弈论思想对公平交换协议进行形式化分析的方法对Ping-协议进行了建模和分析,发现当协议的接收方在交换子协议执行了两个步骤之后执行恢复子协议会破坏协议的公平性;同时文章对协议建模时也将通信信道形式化,从而发现,如果协议的一个参与方能够与通信信道合作,那么也可以破坏协议的公平性。文章针对发现的漏洞对Ping-协议进行了修改,修改后的协议能够满足协议公平性的要求。     

具有分布式半可信第三方的公平交换协议

运用可验证秘密分享和可验证加密技术设计了一个安全的双方公平交换协议。该协议引入了分布式的半可信第三方,与已有的具有单一半可信第三方的公平交换协议相比,分布式半可信笫三方的存在使新协议的安全性和公平性得到了更好的保证。     

一个公平有效的电子支付协议

电子现金体制的最主要内容是提供支付双方相同的公平性，而现有方案几乎都不能提供完全的公平性。该文设计了一个新的电子支付协议，能够为支付过程提供完全的公平性。通过分析，该协议具有更好的不可否认性、公平性、保密性、完整性和认证性，提高了运行效率，对于电子商务应用发展有着重要的意义。     

具有隐私性的公平文档交换协议

提出一种新的公平文档交换协议。在该协议中,交换双方都各自拥有一个秘密消息,他们想以一种公平的方式交换他们的秘密消息,即交换结束后,交换双方要么都获得对方的秘密消息,要么都没有获得对方的秘密消息。与其他的公平交换协议相比,该协议具有很强的隐私性,即使在需要可信任第三方参与解决协议争端的情况下,可信任第三方也无法获得交换过程中传输的秘密消息,因此除了交换双方,任何实体都无法获得交换过程中传输的秘密消息。     

简单快速的优化公平交换协议

公平交换协议是安全电子商务的基石,RSA密码体制在电子商务领域中得到了广泛的应用,设计基于RSA密码体制的公平交换协议具有重要的实践意义。文章提出了一种新的基于整数扩环的高效可验证的加密的RSA签名方案,基于该方案设计了一种高效、安全、简单、实用、快速的交换RSA签名的优化公平交换协议,对其安全性和效率进行了分析和比较。     

数据交换的一种设计方案与应用实现

论文对异构数据库之间实现自动数据交换问题提出了一种解决方案,方案在数据源处提供了数据导出接口,在目的数据库处提供了数据的导入接口,由Excel文件(OLE对象)作为两个数据库之间导出、导入数据的存储媒介,然后通过自定义的传输协议自动地在两个数据库之间传输数据文件。方案在实际工程案例中应用,取得良好的效果。     

基于Schnorr数字签名和秘密分享的交换协议

通过在Schnlorr签名方案中利用秘密分享技术,给出了一种新的公平交易方案。该方案的公平性和安全性依赖于多个可信任第三方(TTP)。由协议的公平性和安全性分析可知,它比那些单纯地依赖于一个可信任第三方的公平交易方案具有更好的安全性和可靠性。