论文部分内容阅读
针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易。
基于组合设计方法的安全支付协议的设计与验证
【摘 要】
：
针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性。新协议满足指定的安全需求和电子商务
【机 构】
：
桂林电子科技大学计算机学院,广西职业技术学院计算机技术系,中南林业科技大学计算机科学学院
【出 处】
：
广西科学院学报
【发表日期】
：
2007年4期
其他文献
本研究总结、分析了广西农业科学技术发展历史、现状及成就和经验,算出我区1983—1988年农业科技进步速率为6.52％,农业科技对生产贡献率为30％左右,指出我区农业科技发展的制约
<正> 当今世界面临着人口、粮食、资源、环境与能源五大危机,这五大危机的解决都与生物多样性有着密切的关系。人口,又包含着人口无限制地膨胀与人类的健康两大问题。我国政
中国联通农村信息化推广全国工作会议日前在吉林省长春市召开。吉林省副省长王祖继、农业部总经济师张玉香、中央社会治安综合治理委员会办公室主任胡增印以及省级农业主管部
通信设备在设计时，必须考虑电磁兼容的相关问题，文章从屏蔽和滤波两方面来考虑设计通信设备的电磁兼容性，分别给出了相应的方法和具体的分析。
据市场调查,中国药用、食用、酒用、化工及出口玫瑰花年需用量达30万吨以上,而年产量仅有几万吨,市场供需矛盾十分尖锐,长远看玫瑰市场前景看好。晋北地区首次引进玫瑰品种开
近几年，随着农业经济进程的加快，设施西瓜产业化、规模化种植开始大力发展，塑料大棚西瓜的种植面积逐年扩大。
LSI公司日前宣布推出四系列全新Tarari“即插即用型”内容与安全处理器电路板，旨在满足从入门级到高性能网络的深层数据包检测要求。这些全新的解决方案采用创新的Tarari T10
企业价值观是企业生存和发展的基本理念,表达企业的基本责任和基本需求,是企业战略的指导思想。企业作为社会单位来说,没有比价值观更为久远、更为重要的事情了。惠普公司的
经过反复试验，筛选出适宜于马氏珠母外套组织培养的平衡盐溶液（改进的ＭＭＢＳＳ）、基本培养基；确立了防止污染的组织净化方法，并筛选出一种能促进细胞生长的贴壁物质（ＳＭ）。