基于组合设计方法的安全支付协议的设计与验证

针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性.新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易.     

一种原子有效的e-cash交易协议

原子性对于可靠、安全的电子商务交易是必不可少的,是参与交易各方利益的重要保证．基于Mu等设计的高效e—cash方案,提出一种原子、有效e—cash交易协议．该协议将数字商品传输有机地整合到支付过程中,在去除强假设条件下(通信信道可靠和交易双方诚实),协议不仅满足原子性、有效性,而且还为交易纠纷的解决提供非否认证据．     

一种新的双方不可否认密码协议及其形式化分析

不可否认服务是电子商务中重要数据和敏感信息通过网络传输的安全基础.不可否认协议正是专门为了提供不可否认服务而设计的网络协议.现有的密码协议很少有满足严格意义上的不可否认性的.我们对现有的一种双方不可否认密码协议进行了分析和改进.新的双方不可否认密码协议既克服了原协议的不足,能抵制中间人攻击.冒充攻击,重放攻击,又满足公平性,不可否认性等安全性要求;既避免了可信第三方的性能瓶颈问题,保证了传输信息的机密性和完整性,又达到了严格意义上的不可否认性.采用SVO逻辑进一步分析和证明了新协议的双方不可否认性质.     

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

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

基于DSP的CAN总线应用层协议开发与实现

针对某红外探测系统中信息交互的需要,结合TMS320F2812DSP中增强型CAN控制器模块的特点,设计了一种CAN应用层协议。该协议对扩展帧的报文标识符进行了详细定义,保证了重点探测目标的优先级,同时对信息的超时及不可靠节点制定了相应规则,满足了探测系统对信息更新的要求。最后简要介绍了协议的硬件和软件实现。     

一种具备原所有者无关性的无线射频识别标签所有权转换协议

针对标签所有权转换过程中的信息安全问题,提出了一种具备原所有者无关性的标签所有权转换协议。协议中主要包含原所有者、新所有者、标签和可信第三方四个通信实体。采用GNY逻辑对该协议的安全性进行了分析,结果表明该协议能够将原所有者对标签的所有权转交给新所有者;并能抵御跟踪攻击、重放攻击、中间人攻击和去同步化攻击,保护标签信息的前向安全和后向安全,提供原所有者无关性。对该协议进行了仿真实现,获取了标签计算耗时等数据。经过与其他协议的数据进行对比,该协议中标签的计算耗时较短,适用于低成本标签。     

一个认证协议的串空间模型与分析

认证性和保密性是认证协议设计的两个关键目标,针对在Needham—Schroeder和Otway—Rees两个协议基础上提出的一种新认证协议,首次利用串空间模型理论对此协议进行形式化分析,分析结果表明该协议满足设计所要求的认证性和保密性目标．     

基于移动Agent的网格事务处理协调协议

针对网格环境中事务的特点,结合移动Agent技术,给出了一个网格事务处理模型,设计了模型中2种事务类型的协调协议.原子事务协调协议用于保证网格原子事务原子性和正确性,而聚合事务协调协议则用于网格聚合事务处理,降低长事务夭折的数量.最后给出了协议的正确性证明和实验结果分析.研究和实验结果表明,所提出的基于移动Agent的模型能够解决网格自治性问题,具有高协作性和高可靠性.模型中的2种事务协调协议可以减少事务处理过程中的实时连接和频繁交互次数,降低网络通信开销,大大提高了事务的执行效率和系统资源的利用率.     

MANET路由协议研究

通过分析MANET路由协议的特点和要求,以及现有主流路由协议的特点,提出并设计了一种限容、低开销的先验式距离矢量路由协议.通过改进的抑制计时器机制来避免路由环路,邻居验证机制来消除单向链路,以及延迟触发更新机制来平衡路由收敛速度与开销.最后分析了此协议的各项性能以及需要解决的问题.     

图元的子句时新性

为了给出消息子句的测试关系,选择主体角色进程演算为π演算的一个子集,以该子集刻画并发密码协议系统,事件图为其指称语义模型,由图元的前缀、非确定选择和并发合成运算得到,对于图元及其组合运算来说,图元的子句时新性质确定了主体角色消息语句的子句测试关系,且出现在图元中的消息事件满足通信关系和前驱关系约束.由图元生成的事件图涵盖了由子句测试关系构造的未知主体角色串,且通过定义图元互模拟刻画事件图的互模拟等价关系可实现并发密码协议系统安全性验证.     

Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

A protocol for fair electronic purchase based on concurrent signatures

E-commerce protocols for the electronic purchase of goods are difficult to design and implement due to their complexity and high security demands. Fairness of such protocols in literature highly depends on an additional TTP（trusted third party）. However, it is difficult to find such a TTP in some situations. In addition, fairness for customers has been neither fully considered nor well satisfied in existing electronic purchasing protocols. In this paper, a new protocol FEP （fair electronic purchase） without a special TTP but an online bank is presented based on a concurrent digital signature scheme. The FEP protocol guarantees fair electronic purchase of goods via electronic payment between consumers, merchants and their online banks. The protocol is practical and the analysis based on the game logics shows that it achieves the properties of viability, fairness, and timeliness.     

兰坪盆地银铜钴镍多金属矿床黝铜矿系列矿物学特征及其成因意义

云南兰坪盆地内的银铜多金属矿床以产大量黝铜矿系列矿物为特征.黝铜矿系列矿物是主要的载银矿物,大多属银黝铜矿系列,Ag含量最高可达46.4%,Ag原子数最高为6.64.存在四大系列黝铜矿,即:(1)锑砷黝铜矿系列,置换Cu元素的主要为Fe和Zn,其中Fe的原子数低于Zn,Zn明显优势于Fe;(2)砷黝铜矿系列,置换Cu元素的主要为Fe和Zn,二者含量及原子数变化较大,其中金满铜矿床中出现大量的块状铁砷黝铜矿;(3)锑铋砷黝铜矿的Sb原子数可以很低,置换Cu元素的主要是Fe和Zn,Zn的原子数大于Fe;(4)砷锑黝铜矿系列,该类矿物主要产于富隆厂矿段中,与独立银矿物辉银矿、自然银、螺状硫银矿等共生.黝铜矿各元素含量和原子数之间的变化特征表明,Ag-Cu, Ag-As, Ag-Fe之间存在明显的负相关,而Ag-Sb、部分矿区Ag-Zn之间存在明显的正相关.热液脉型矿床产出的黝铜矿显示为Zn原子数高、Fe原子数低,Fe原子数一般小于0.8,Zn原子数一般在1～2之间.当Fe原子数小于 0.5时,Ag原子数高,最高达6.64,其中富隆厂矿段的黝铜矿的Ag原子数平均达0.94.整个盆地内银铜多金属矿床的黝铜矿系列矿物的As-Sb原子数呈极好的线性负相关,大部分黝铜矿的As原子数大于1,以砷黝铜矿占优势.当Sb原子数大于0.5时,有利于Ag占据更高的黝铜矿原子数,并具显著的正相关关系.     

基于P2P网络中信誉机制的安全电子交易协议

文章对安全电子交易协议(SET)进行分析,提出带信任度的SET改进方案,通过对原有的交易流程进行改进,使改进后的SET不仅继承了原有的机密性、完整性,而且也可以进一步保障交易的原子性和不可否认性,提高商家对客户售后投诉的响应速度,避免了商家的通过聘用托的合谋攻击问题,有效保证交易双方的公平性.     

非线性价格冲击下存货质押融资业务最优清算策略

研究了存货质押融资业务后期管理中借款企业违约后银行低损耗、高效率的清算策略.考虑到质押存货清算时流动性较差,因而假定大批量交易对市场冲击存在线性永久冲击和非线性瞬时冲击,结合均值方差模型,构造了更符合市场现状的银行损失效用函数.然后,利用Euler-Lagrange定理,得到了存货质押融资业务的最优清算时间和最优清算策略的解析解.最后,进一步给出了相关参数的敏感性分析和算例分析.研究结果表明非线性冲击函数的幂指数以及库存成本对最优清算策略影响非常显著,交易价差不影响最优清算策略,且已交易存货对尚未清算存货的最优清算策略没有影响.     

大规模MANET路由协议SPDSR在Linux中的设计与实现

针对MANET路由协议测试方法主要采用软件仿真而导致结论不准确的问题，以大规模MANET路由协议SPDSR为例，提出基于Linux系统的MANET路由协议实现方案，为构建MANET路由协议的真实物理测试方法奠定基础。在分析Linux路由体系结构基础上，应用Netfilter框架技术和TUN/TAP隧道技术，实现数据分组的拦截和用户空间缓存功能，启动SPDSR路由协议。通过建立路由检查模块，将路由使用情况传至用户空间，更新路由表定时器，避免因路由过期导致的误删除操作，最终在Linux中成功加入SPDSR协议。实际组网测试结果表明：SPDSR协议基于Linux的实现方案能够在移动无线自组网中进行正常路由建立和维护，满足实际应用需要。     

煤炭转运型物流节点的可靠性研究

为了揭示作为煤炭转运型物流节点的路矿交接站作业过程的可靠性,采用数理统计方法和可靠性理论,建立了评价交接站交接作业过程的可靠性模型,并进行了作业可靠性的分析与计算.研究结果表明,交接站作为煤炭转运型物流节点,其作业可靠性受到国铁的影响,超时交接等待现象普遍.研究结论对采用铁路运输的路矿交接站均有指导意义,有助于分析交接延误的规律性和提高交接作业的可靠性.