【摘 要】
:
从整个网络支付协议的安全角度出发,提出网络支付协议的多层安全需求模型,包括以认证和密钥分配为基础的基层需求、网络支付协议固有的中层需求(包括保密性、原子性、公平性
论文部分内容阅读
从整个网络支付协议的安全角度出发,提出网络支付协议的多层安全需求模型,包括以认证和密钥分配为基础的基层需求、网络支付协议固有的中层需求(包括保密性、原子性、公平性、完整性、匿名性、不可否认性、可追究性等)、以及面向具体应用的高层需求.基于一阶逻辑和时序逻辑,提出一种适合描述网络支付协议的形式化安全需求的逻辑,描述了该逻辑的语法结构和推理规则,并用该安全需求逻辑对网络支付协议的多层安全需求进行了形式化描述.最后,以SET协议为例进行需求验证.
其他文献
《辽代石刻文续编》是一部在编撰体例上与《辽代石刻文编》基本相同,在时间上与前者相衔接的出土资料集。书中收录《辽代石刻文编》出版后出土的辽代汉文石刻196件,其中大部
作为中国哲学史上第一个元气自然论者,王充提出了"万物之生,皆禀元气"的命题,一面强调"一天一地,并生万物",一面指出天地是含气之自然。在此基础上,他沿着元气自然的思路解释
司法概念已经从非法律概念被正规化。司法权的地方事权属性是我国亟待澄清的概念误识。在各国宪法中司法事权的中央性有多重表现,无论其为联邦制抑或单一制均系如此。司法权
针对城镇圩区下垫面条件和排涝特点,以浙江省杭嘉湖平原地区为例,采用水量平衡法计算城镇圩区的排涝模数,利用多元回归分析法建立了圩区排涝模数与关键因子(水面率、地面硬化
目的:评价地氯雷他定与复方甘草酸苷联用对患者慢性荨麻疹的临床疗效及其对免疫功能改善的影响。方法:选取2017年1月—2018年2月间收治的慢性荨麻疹患者70例资料,采用随机数
为研究电脉冲辅助应力松弛规律及其在回弹抑制中的应用,针对高强钢板DP980进行电脉冲辅助应力松弛试验和电脉冲辅助抑制弯曲回弹试验,建立了DP980极限应力状态应力松弛规律现
后现代主义是 2 0世纪末西方社会流行的一种哲学和文化思潮 ,其影响遍及各个领域。强调反思和批判精神、反中心和提升非理性、倡导多元化的方法论和提倡对以及淡化价值判断是
目的 了解深圳市盐田区学龄前儿童维生素D水平,为临床科学合理的补充维生素D提供实验室依据。方法 采用液相色谱-串联质谱法定量检测2014年3月至2015年2月来该院儿童保健门诊
陕西扶风强家村西周青铜器群发现于1974年12月,虽仅7件,但包括了著名的师()鼎、师望鼎、即簋、师丞钟四件有铭文青铜器.因其铭文相互关联,被证明为同一家族所有,非常重要,因
在中韩两国的竞争关系日趋增强的今天,仍然存在产业合作的巨大空间。中韩两国的产业合作是以实现共赢为目的的,可能的合作领域包括韩国的制造企业与中国的原材料和零部件制造