Optimistic fair exchange E-commerce protocol based on secret sharing

1. INTRODUCTION 1.1 Background The growing importance of electronic commerce (for short e-commerce) and the increasing applications in this area have led researches into studying methods on how to perform safe and secure online business through the Internet. Consider such a scenario (see Fig.1), where A is a merchant and B is a buyer. A ’s product iA is an electronic goods (such as software, mp3, movie etc.). B wants to use his electronic coin to buy A ’s product through network. A p…     

Research on secure buyer-seller watermarking protocol

A new buyer-seller watermarking protocol is proposed by applying a double encryption method and a novel mechanism of embedding a buyer＇s watermark. The protocol can effectively prevent against collusion attacks and the man in the middle attack if the third party is not trusted. Also, based on the proposed scheme for the first-hand transaction, a new buyer-reseller watermarking protocol and a formal multi-party watermarking protocol are also proposed. The proposed buyer-resell watermarking protocol only needs the original seller to provide transfer certificate and encryption-decryption service to support the second-hand transaction, and the multi-party watermarking protocol with distributed certificate authorities can overcome the difficulty in the combination of multicast mechanism with multiple unique watermarks and allow a seller to multicast the watermarked digital contents and key transaction information to n buyers. Furthermore, the idea of zero knowledge proof is also applied into the proposed scheme to allow the seller to take an effective control on the task performed by the third party.     

移动广播环境中两阶段实时事务处理

提出了移动广播环境中MVOCC-MDA-2PV并发控制协议.移动实时事务处理分两阶段进行.第一阶段在移动主机上处理,第二阶段在服务器上处理.移动主机上所有移动事务与在服务器上一个广播周期提交的事务进行预有效性确认.如果移动事务通过预有效性确认,提交到服务器进行最终有效性确认.协议消除了移动只读事务和移动更新事务的冲突,使用多版本动态调整串行次序技术,避免了不必要的事务重启动.移动只读事务无阻塞提交,降低了移动只读事务响应时间.模拟仿真实验结果表明MVOCC-MDA-2PV协议要优于其它协议.     

平均风险偏好下的网络中介交易风险控制决策

首先阐述了网络中介参与的电子商务交易模式，设计了网络中介的交易风险控制机制，在建立了网络中介控制水平选择的多目标决策模型后，通过等价变换讨论了模型最优解的存在性，分析了一定平均风险偏好下网络中介利益取向对最优控制决策的影响；进而分析了平均风险偏好变化时的最优控制策略．分析结果有助于网络中介交易风险控制决策．     

能源区块链网络中的虚拟电厂运行与调度模式

为提高虚拟电厂中用户交易的效率及其运行调度的安全性，针对传统虚拟电厂运行调度中高成本、高风险、低效率的问题，基于多元用电主体概念，提出了能源区块链网络中的虚拟电厂运行与调度模式。为提高用户交易的可靠性和经济性，采用电力交易共识算法对虚拟电厂中不同需求的多元用户进行智能匹配；引入能源区块链网络，提出改进的虚拟电厂运行调度模型，不仅保证了信息存储的安全性，还使得运行调度更加稳定透明。案例分析表明，本文提出的模型能够有效提高虚拟电厂中交易与调度的安全性和效率，可以为虚拟电厂中的能源交易提供参考。     

安全支付网关技术研究与系统实现

安全支付网关是银行与internet之间的安全枢纽 ,是电子商务系统中最重要的组成部分 ,它涉及密码学、信息系统安全和风险管理等学科。在简要介绍电子商务系统安全体系结构的基础上 ,研究了安全支付网关中的安全电子交易 (SET)协议和共钥基础设施PKI等关键技术 ,以及数字签名、数字信封和数字双签名等相关的基础技术 ,并在此基础上完成了“WT0 37安全支付网关系统”的系统实现     

基于元学习技术的分布式采掘关联规则研究

关联规则是数据采掘中的重要研究内容。本文利用元学习技术提出了在分布式交易数据库环境下,分布式采掘关联规则的一种方法和相应算法DMAR。该算法具有较高的采掘效率和较低的数据通信量。定义了衡量采掘算法效率的分布式因子g,并指出算法的采掘效率和数据通信量与g值的大小有关。最后通过实验验证了该算法的正确性和有效性。     

基于Petri网的双重数字签名的描述与验证

双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一。Petri网是一种描述和验证密码协议的有效手段。利用Petri网从静态和动态两方面仿真分析双重数字签名在电子支付系统中的应用。在静态描述方面,建立了双重数字签名的Petri网模型,并给出形式化描述。在动态验证方面,采用可达树分析此密码协议,验证了可达性、有界性、活性等性质。同时分析表明双重数字签名具有抵抗非法入侵的能力,可以提高电子支付系统的安全性。     

基于FPGA的时间触发协议控制器实现

时间触发协议是TTA架构必需的通信协议,用于在要求高可靠性的分布式容错实时系统中电子模块之间的互连。目前作为时间触发通信系统重要组成部分的时间触发控制器主要是采用处理器来实现协议的处理,协议开销比较大。基于FPGA的时间触发协议控制器的设计,采用了具有较好同步能力的编码方式和合理的帧格式,在建立全局时间基准的基础上优化了协议处理状态机,利用FPGA的并行处理能力,降低了协议开销,增加了总线的效率,同时也提高了时钟同步精度和容错能力。仿真结果表明,基于FPGA的时间触发协议控制器具有较好的性能。     

发电公司与大用户的直购电力合同谈判模型

研究价格和数量都不确定的直购电力合同的谈判过程.在考虑实时市场风险的条件下,通过对效用函数的分析得到发电公司的合同供给曲线和大用户的合同需求曲线,并确定了合同的有效谈判区间,从而建立了合同数量和价格的谈判关系.然后构建合同动态谈判博弈模型并用逆向归纳法求解其均衡,分析均衡结果提出了增加实时市场透明度有利于提高整个电力市场效率的政策建议.最后通过算例说明研究的正确性和合理性.     

电子支付协议可追究性的Petri网建模与分析

可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于此提出一种对支付协议可追究性分析的一般性方法.Kungpisdan等人曾提出一种可追究性逻辑,证明一个典型的移动支付协议KSL协议满足可追究性.但使用上述所提方法对该协议建模并进行可追究性分析,发现了可追究性逻辑未发现的漏洞,分析例证结果表明了所提方法的有效性.     

考虑消费者渠道偏好的多期闭环供应链网络均衡

在多个规划期情形下,研究了由制造商层、零售商层、需求市场层和回收商层组成的闭环供应链网络均衡问题.所有制造商生产同质产品,利用双渠道分销产品以满足市场需求.两种交易渠道间存在竞争,消费者对电子商务和零售商两种购物渠道存在不同偏好.利用变分不等式和互补理论刻画了网络中各成员的最优经济行为,建立了供应链网络均衡模型,并运用修正投影收缩算法求解.结合算例探讨了单/双渠道、渠道间的竞争强度因子、消费者对电子商务渠道的偏好系数及制造商的强制回收量约束对供应链网络各成员及网络均衡的影响.结果表明:当消费者偏好大于一定程度时,双渠道对制造商有利,而对零售商不利;电子渠道竞争强度因子对网络成员的利润影响较大,制造商应加大网络等方面投资;当消费者对电子交易渠道的偏好增加时,制造商利润先减后增,制造商在开设电子商务时应把握合适的切入时机,且不要因暂时的利润降低而关闭电子营销方式;单/双渠道情形下,政府的强制性回收量约束均会对制造商带来不利影响,当回收量约束超过某一值时所有成员会动态调整其策略而改变供应链网络的均衡状态.通过研究,以期对闭环供应链相关领域的研究和企业决策有一定借鉴.     

动态时间帕累托最优电子采购多属性谈判模型

基于谈判的电子采购是企业达成供应链交易的重要方式.为了解决采购人员在面对多个谈判属性时决策的困难,本文将多属性谈判问题转化为一个多目标优化模型,采用具有快速非支配排序和精英策略的遗传算法,求解得到帕累托边界,然后设计动态时间依赖策略(DTD),使Agent根据对手出价情况,动态调整让步幅度,在帕累托边界上快速与对手达成交易.另外,对应相关文献中谈判双方互相泄露偏好信息的问题,本文使用基于Agent的自动谈判技术,提出一个有第三方平台参与的自动谈判架构,以及交互协议模型,用以支持自动谈判过程的实施.最后,大量实验证实,相比于领域主流研究成果,本文提出的多属性谈判模型显著提高了谈判效率和成交率,同时也有助于提升谈判双方个体效用和联合效用.     

基于Agent的项目交易治理计算模型研究

项目交易治理模式选择是关系到项目成功交付的核心问题,但鲜有研究从可计算角度分析不同项目交易治理模式对项目的微观过程及最终绩效的影响.本研究基于Agent仿真技术和交易治理相关理论,构造了项目交易治理计算模型.模型通过构造集成交易、项目任务与流程、项目组织和Agent的四元子模型,利用Agent技术实现了不同交易治理模式下Agent与任务、Agent之间行为交互的治理计算模型,可以输出项目成本、项目工期、质量风险、工作积压等实施绩效进行预测和评估.研究发现该模型不仅促进了项目交易治理的量化预测分析研究,还为项目交易治理提供了有效的决策支持.     

DIS环境中的电子战发射协议标准及其应用

首先分析了分布交互仿真 (DistributedInterfaceSimulation ,DIS)环境中对电子战协议的要求 ,提出并比较了电子战发射协议的三种实现方案。重点介绍了DIS中的电磁幅射PDU ,并分析了在低逼真度和高逼真度情况下的辐射接收处理过程。最后简要介绍了辐射数据库     

基于HLA的星载SAR电子干扰效能评估仿真系统设计

基于HLA的星载SAR电子干扰效能评估仿真系统是空间电子侦察与对抗系统的子系统,目的是建立一套空间雷达成像侦察对抗模拟仿真环境,进行对抗效能评估和演示验证,方便空间攻防战术技术的研究。详细介绍了仿真系统中各联邦成员仿真对象模型,并进行了相应的开发设计。     

基于变效能因子的Lanchester协同干扰最优功率分配

针对协同电子干扰中的功率分配问题,分析了电子干扰与作战效能之间的数学关系,并以此为基础建立了变效能因子的Lanchester平方律扩展模型。以模型的状态方程构建目标函数,在作战编队干扰功率总量恒定的约束条件下,分别分析求解了红方在资源与火力处于优势与劣势情况下的电子干扰的最优功率协同分配策略,并给出了详细的数学推导过程。仿真结果表明,该协同功率分配策略能够实现整体作战效能与干扰效能的最优化,即模型的合理性得到了验证。     

仿真数据收集中的实时数据库技术研究

研究了实时仿真应用系统中的数据库技术。为实现仿真中数据收集、存储和事务调度的实时性，满足对所收集数据的实时使用需求，提出了一种新的稀疏索引技术。该技术在不影响数据收集任务的前提下，可以提供对所收集数据的高效查询。通过比较实验，验证了实时数据收集系统的可行性和有效性。     

无线传感器网络中基于分簇的协同传输协议

提出了一种基于分簇的无线传感器网络协同传输协议,分析了其传输效能和对网络吞吐量的改善,继而得出了该协同传输协议的适用范围。该协同传输协议特别适用于有可靠、高速的数据传输要求而信道环境不佳的无线环境,恰当地使用该协议能够提高传感器节点的传送效能,节省网络能源,并且能很好地提高网络吞吐量。最终通过仿真验证了上述结论。     

基于区块链的微网群碳权交易优化决策模型

针对微网群碳权分配机制不合理、碳权交易效率低以及节点参与度不高等问题，提出了基于区块链的微网群碳权交易优化决策模型。结合区块链的信息透明、去中心化、安全可信的特性，建立微网群碳权交易架构。采用微网群违约惩罚机制，对微电网节点的信誉值进行定量计算，实现信誉值与微电网节点交易优先级的深度融合。利用改进的PBFT共识机制，将联盟链内节点进行等级划分，达到约束节点共识权限的目的。在此基础上，设计基于违约惩罚机制的碳权交易流程和算法，实现微网群内部多对多交易的自动执行，保障了碳权交易的高效性。根据微电网节点碳排放量阈值，将微电网节点分类，完成微网群碳权分配方案的针对性设计。在买方市场环境下，依据用户总效用收益最大为目标函数建立碳权交易优化决策模型，使微网群用户参与碳权交易市场的积极性得到大大提高，保障了微电网节点用户的经济利益。算例分析表明，该模型可以保障微网群碳权分配的合理性，在提高碳权交易效率的同时改善了微电网节点用户的效用收益，进一步提高了微电网节点参与市场交易的积极性。