基于分层时间有色Petri网的支付协议公平性分析

电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠,与其他形式化方法相比,可以更有效地分析协议公平性。使用该方法对典型支付协议IBS协议进行分析,分析结果验证了所提模型和方法的有效性。     

RPR公平带宽分配策略研究

弹性分组环（RPR）技术的一个重要目标是在环网上同时实现带宽的高利用率、空间重用和节点接入的公平性.文章阐述了公平性的概念,讨论了分组公平性的不同模型,研究了空间重用协议（SRP,Spatial Reuse Protocol）和分布式虚拟时间分组（DVSR,Distributed Virtual-Time Schedulingin Rings）的算法思想,指出了DVSR在环网中的优越性.最后,给出了环网公平策略的基本要求和评价准则。     

有半信任方(STNP)的多方交换协议

Frankin和Tsudik在FC'98中给出了两个多方交换协议,此协议是关于多方交换的公平交换协议,本文发现了对其中第一个协议(SUCEX-1)的攻击,指出该协议是一个不公平交换协议,并给出了此协议的一种改进形式.     

通用可组合的公平电子支付协议

公平性是电子支付协议的一个基本属性。该文基于通用可组合模型,定义了公平电子支付理想函数。在可转化签名理想函数、注册理想函数和安全会话理想函数辅助的混合模型下,构造了一个实现公平电子支付理想函数的公平电子支付协议。新的协议结构简单,通信量较低,并且在任意的和未知的多方环境中运行时仍然是安全的。     

安全协议关联性分析

提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断,并同时完成对一些数据例如会话密钥等的协商.依据这种思想,结合认证逻辑中的一些成果,提出了一种新的安全协议关联性的分析方法,该方法对协议认证目标进行了基于线空间模型语义的定义,并将关联性分析归结为Strand的存在关系和Strand参数一致性的分析问题.     

一种新的多方多合同签署协议

基于GDH签名方案,结合可验证承诺签名体制,提出了可分密钥的可截取签名体制,并证明了该体制在随机预言模型下是安全的.在此方案的基础上设计了一种一对多的、可以同时对不同合同文本的签名进行交换的合同签署协议,在该协议中协议发起方在最坏情况下签名的信息量与参与方的个数相同;协议中第三方的信息传递量也被有效地减少了,且新的协议避免了已有文献中只有固定集合中的参与方得到合同的局限,具有高效和实用的特点.     

基于动态口令的配电网调度系统身份认证方案设计

为防止非法用户对配电网调度系统的恶意攻击,提出基于动态口令的配电网调度系统身份认证方案,确保配电网的安全稳定运行。采用挑战-应答协议生成动态口令,利用串空间模型优化该协议注册和登录阶段的约束条件,使其能够满足动态口令互认证的要求。口令生成后,在方案中融入失步调节机制,保证认证的高度同步性。通过Keyed MD5算法计算数据串的Hash值,获得客户端输入的散列值,将其与预存散列值对比,若二者一致,那么直接判定该用户为合法用户,反之则为非法用户。实验结果表明,所提方法的执行能力要优于传统方法且安全性能较高,实用性较强。     

基于ATL的公平电子商务协议形式化分析

针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的 ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击:保密信息泄露和重放攻击。     

电子商务协议的公平性

本文指出在分析电子商务协议公平性的过程中,不仅要考虑参与协议的主体被动攻击的情况,同时还要考虑参与协议的主体进行主动攻击的情况.在此基础上,本文对Kailar逻辑进行了改进,使之能够分析协议的可追究性和公平性.     

基于ProVerif的电子商务协议分析

采用应用pi演算来建模自动解决争端的公平电子商务协议,基于一致性给出了公平性的形式描述方法,利用应用pi演算的自动化分析工具--ProVerif分析了该协议,结果表明,利用一致性描述协议公平性是可行的,同时指出了基于ProVerif验证电子商务协议的优缺点:适用于分析"A事件发生以前,B事件是否曾经发生",但不适用于分析"A事件发生之后,B事件将来是否会必然(或可能)发生".     

A lightweight and secure NFC‐base mobile payment protocol ensuring fair exchange based on a hybrid encryption algorithm with formal verification

During the past few years, many near‐field communication (NFC) mobile payment protocols have been widely used and received more and more attentions. This could be an essential factor for the growth of the world economy and leads to the improvement of the quality of life for human beings. The NFC mobile payment is one prominent approach in allowing m‐commerce to conduct a sales transaction. However, fair exchange and information security are significant concerns in creating trust among the parties participating in the transaction. Many NFC mobile payment protocols have been introduced by researchers. But, most of them still lack some crucial properties of information security and fair exchange, and this can be an obstacle to their uses. In this article, we propose an NFC mobile payment protocol that possesses comprehensive properties of both information security and fair exchange for sales transaction processing. The protocol employs both symmetric and asymmetric encryptions, hash function, and the technique of offline session key generation, in order to improve the security while maintaining the lightweight property. The fairness analysis shows that the proposed protocol is more competent and effective than others. It can resolve any dispute in case one party misbehaves. Finally, the proposed protocol's security has been successfully verified using both Burrows, Abadi and Needham (BAN logic) and the Scyther tool.     

基于PPV的公平移动支付协议

结合CEMBS的设计思想,在尽量满足移动网络特性的情况下,设计了一个能在移动终端观看视频服务的即看即付的公平协议.该协议在服务请求阶段通过利用CEMBS,在乐观情况下,可信第三方移动网络运营商不需参与,就可使互不信任的User与VASP完美地实现双方的认证与会话密钥协商,同时完成了服务请求的建立,双方均是不可否认的,且整个过程只需三条消息;在支付阶段,也可以保证双方公平地进行交易.通过分析,该协议满足公平性、不可否认、原子性、认证性以及保密性等一些必备性质,且协议比较简单,应用范围比较广泛.     

使用签密的认证邮件协议

认证邮件协议,指一个发送方要将消息M与收方收到的证据进行交换的协议.在交换中最重要的一个性质就是要保证公平性.通过对原有的签密方案修改得到一种适应于认证邮件协议的新签密方案,并且在该方案的基础上设计了新的认证邮件协议,新的协议效率高且弥补了其他认证邮件协议中的缺陷.     

移动环境公平支付协议的设计与分析研究

结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。     

一种新型的多方公平交换协议

对现有的各种公平交换协议进行了分类。利用公开可验证秘密共享原理、群加密方案,提出一 个新的基于离线半可信第三方的多方公平交换协议,离线第三方只在意外情况下才介入协议且其只能解密半个密钥分量,既保证了交换数据的机密性又实现了交易的真正公平,且交换的拓扑关系也对外(包括第三方) 保密。     

一个公平的反拒认协议

反拒认是实现电子商务的一个重要前提条件,公平也是人们在交易过程中所追求的重要目标。本文基于此目标提出了一个公平的反拒认协议, 解决了收发双方可能发生的拒认问题,并使收发双方处于平等的位置上。本协议由可靠的第三方产生反拒认证据,数据交互次数少,高效实用。     

A buffer management algorithm for improving up/down transmission congestion protocol fairness in IEEE 802.11 wireless local area networks

The fair allocation of the resources is an important issue in wireless local area network (WLAN) because all wireless nodes compete for the same wireless radio channel. When uplink and downlink transmission congestion protocol (TCP) flows coexist in WLAN, the network service is biased toward the uplink TCP flows, and the downlink TCP flows tend to starve. In this article, we investigate the special up/down TCP unfairness problem and point out that the direct cause is the uplink acknowledgement (ACK) packets occupy most buffer space of access point. We thus propose a buffer management algorithm to ensure the fairness among uplink and downlink TCP flows. In order to limit the greedy behavior of ACK packets, the proposed algorithm adjusts the maximum size of buffer allocated for the ACK packets. Analysis and simulation results show that the proposed solution not only provides the fairness but also achieves 10–20% lower queue delay and higher network goodput than the other solutions. Copyright © 2012 John Wiley & Sons, Ltd.     

EAR Protocol-Towards Fair Optimistic Non-Repudiation Exchange

1IntroductionAccelerated by the vigorous development of computernetworks ,electronic transaction has been widely appliedin al most eachfield of our daily life . The spreading ap-plication of electronic transactionis however not smoothas it is always accompanied by challenges ,such as thereliability of the parties involved,the equal position ofthe tradeoff members ,etc .This hasledto a great manyexchange protocols[1 ~6]attempting to pursue successfulcompletion of the exchange via Internet .Fai…     

一个多方公平电子合同协议

电子合同协议的研究越来越受到人们的重视,本文给出了一个多方公平电子合同协议.这个多方公平电子合同协议需要可信第三方的参与,但不会形成网络瓶颈.通过对其公平性与效率的分析,可知本协议在满足了公平性的同时具有较高的实用性.     

A Hybrid Collision Avoidance Scheme for Ad Hoc Networks

A novel hybrid collision avoidance scheme that combines both sender-initiated and receiver-initiated collision-avoidance handshake is proposed for multi-hop ad hoc networks. The new scheme is compatible with the popular IEEE 802.11 MAC protocol and involves only some additional queue management and book-keeping work. Simulations of both UDP- and TCP-based applications are conducted with the IEEE 802.11 MAC protocol, a measurement-based fair scheme and the new scheme. It is shown that the new scheme can alleviate the fairness problem with almost no degradation in throughput. More importantly, it is shown that without explicit information exchange among nodes, the fairness problem cannot be solved conclusively if reasonable throughput is to be maintained. Hence it calls for further work to integrate the new collision avoidance scheme with other schemes that approximate fair queueing and use more contention information in channel access to achieve some QoS assurances in ad hoc networks.