【摘 要】
：
乐观电子商务协议通常具有复杂结构,由多个子协议组合而成,与传统认证协议具有显著不同。电子商务协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实
【机 构】
：
南京信息工程大学信息与控制学院,南京理工大学计算机学院,南京航天航空大学计算机学院
论文部分内容阅读
乐观电子商务协议通常具有复杂结构,由多个子协议组合而成,与传统认证协议具有显著不同。电子商务协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。文章在深入分析公平交换协议各项属性的基础上,定义了电子项的认证属性,对SVO逻辑进行了扩展,使用SVO逻辑语法定义了电子商务协议应满足的公平性。文章以一种真实的电子商务协议为对象,演示了基于SVO逻辑的电子商务协议公平性分析方法,并指出该协议存在安全缺陷,提出改进意见。
其他文献
我是在朋友的网络空间里发现彭水珍珠河的。朋友除了感叹珍珠河是重庆为数不多还未被开发的要水地之外，还特别强调是一条神秘的河流，最好选择在晴朗的早晨去观赏。
为了提高句法分析器的分歧能力和分析准确率，结合上下文无关概率模型PCFG和头驱动概率模型HDSM各自的优点，提出了一种新型的概率模型PCFG_HDSM，并基于GLR算法，实现了一个新型的汉
我国《交通强国建设纲要》要求路政管理必须现代化。路政管理属于国家行政管理在公路事业中的具体体现与有效延伸,公路路政管理的法治化是实现公路路政管理现代化的必由之路
对面向移动目标跟踪任务的传感器网络调度方法进行了研究。从单任务跟踪精度和总体任务完成情况两方面设计调度指标,采用扩展卡尔曼滤波器实现目标跟踪并计算跟踪精度,进而建
保护私有信息的符号距离的判定是一个特殊的安全多方计算问题,可以应用到军事、商业等诸多领域,通过计算符号距离的符号来判定空间几何对象的位置是处理空间几何对象的位置问
在企业经营以及发展的实践过程中,预算管理是非常重要的工具。为更好地提升企业的发展成效,充分全面保障资金安全,应该科学全面地采用预算管理的方式,实现预算管理的全覆盖、
为了研究不同类型萤石矿所对应的自然重砂矿物组合规律,本文分析统计了全国10个地区中的23个比较有代表性的萤石矿床所对应的自然重砂矿物组合情况,计算分析了所有重砂矿物的
随着我国大规模基础设施建设和城市化进程的不断加快,城市建设步入到了高速发展的轨道。城市规划是进行城市建设的重要依据,在城市建设和发展过程中发挥着关键的作用。随着计算机技术和网络技术的快速发展,信息时代人们的生活方式和生产方式发生了很大的改变。传统的城市规划手段已经无法满足当前城市规划的需求。GIS技术的快速发展为城市规划提供了一个更加方便快捷的平台,在客观上有效地提升了城市规划的效率。本文将就GI
为得到路面随机输入时域模型,将滤波白噪声与传递函数结合对四轮路面时域模型进行推导,并利用优化算法求得各相关系数;利用MATLAB/Simulink软件搭建了四轮路面仿真模型,利用