【摘 要】
：
针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击、支付子协议的完整性不能有效保证这些不足,提出一种新的复合型电子支付协议。新协议实现了用户与服务供应商之间的双向认证,通过引入Hash函数和经由第三方信息的转发进一步提高了支付子协议的完整性和保密性。通过SVO逻辑和Kailar逻辑形式化分析验证可知,新的复合电子支付协议满足双向认证性、可追究性和公平性。
论文部分内容阅读
针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击、支付子协议的完整性不能有效保证这些不足,提出一种新的复合型电子支付协议。新协议实现了用户与服务供应商之间的双向认证,通过引入Hash函数和经由第三方信息的转发进一步提高了支付子协议的完整性和保密性。通过SVO逻辑和Kailar逻辑形式化分析验证可知,新的复合电子支付协议满足双向认证性、可追究性和公平性。
其他文献
广义正交匹配追踪GOMP(Generalized Orthogonal Matching Pursuit)算法作为压缩感知理论中的重要组成部分,在信道估计领域早有应用。但由于无法解决信道稀疏度的获取问题,限制了这一算法的发展。针对这一问题,提出一种通过变步长实现稀疏自适应匹配的改进算法,并利用傅里叶变换的共轭对称性在选择原子方面加以完善,从而提高了算法的精度和效率,增强了该算法在实际信道估计中的可
近3年来,栾川县在加强土地管理的同时,采取有力措施,正确引导和组织全县人民保护土地、开发复垦土地工作,取得了显著成效。 拥有亚洲第一、世界第三大钼矿的栾川县,被誉为“
<正> 石竹科(Caryophyllaceae)有70属,约1750种,广布世界,主要分布于温带和寒带。我国有31属372种,分布全国。该科部分种为观赏植物,药用的近50种。关于石竹科植物的染色体研
压缩感知CS(compressive sensing)是一种基于信号稀疏性，有效提取信号中有用信息的方法。根据语音信号和干扰噪声在离散余弦变换域DCT(discrete cosine transform)稀疏性的不
小学生数学学习兴趣的有效培养是教师需要在实践中重点思考的教学话题。教师不仅仅需要关注小学数学的课堂教学质量与效 率,还应当重点思考培养学生数学学习兴趣的影响因素,
对蜂窝网络中提高移动台与基站数据传输速度问题进行了研究。通过选取最佳中继节点,应用流机制传输方案保证传输数据正确,提出了最佳中继节点选择方案。通过案例证明了所提出的最佳中继选择算法具有一定的有效性。结果表明,相比于不使用中继,该方案使端到端吞吐量的期望值得到了提高。
根据中国肉类食品综合研究中心与匈牙利国家肉类工业研究所于1989年11月14日在北京签署的技术合作会谈备忘录,在商业部国际合作司的指导和支持下,我所派出以刘景洲副所长为首
目的探讨倒行锻炼对老年2型糖尿病患者下肢肌力及平衡能力的影响。方法选取安徽省立医院内分泌科收治的60岁以上糖尿病患者60名患者为研究对象,将60例患者分为倒行体育锻炼组
维特根斯坦和处于前期思想阶段的卡尔纳普认为只有逻辑句法才能够确定意义关系,即逻辑数学语句的真假问题.他们认为考虑句法问题时必须脱离意义而进行,语义学是不可能的,逻辑
针对当前社交网络个人隐私信息泄露的问题,面向P2P社交网络提出一种匿名公钥广播加密方案,包括初始化公钥,分发私钥,加密和解密。并在Android平台下设计实现了基于广播加密的P2P社交网络系统,系统主要包括数据存储模块,移动终端模块,安全加密模块以及PKG管理模块。同时对Android平台下的P2P社交网络在恶意用户截获私聊攻击,恶意下载攻击,篡改攻击和重放攻击的安全性进行了分析,分析结果表明该系