分享到:

SET协议支付过程分析及模型检测

在电子商务领域中,安全性问题是个极其敏感而重要的问题,是电子商务能否健康发展的关键。SET(Secure Electronic Transaction)电子商务协议是1996年由MasterCard(维萨)与Visa(万事达)两大国际信用卡公司联合制订的安全电子交易规范。它提供了消费者、商家和银行之间的认证,确保交易的保密性、可靠性和不可否认性,保证在开放网络环境下使用信用卡进行在线购物的安全,已经获得了广泛的应用,并由此产生了巨大的经济效益和社会效益。但由于协议的安全性问题十分微妙,一些本身并不复杂的协议的安全漏洞却在协议使用了相当长的时间后才被发现,因此,对协议进行分析。寻找协议的安全性隐患或证明协议是安全的,对协议的进一步应用和发展都是极其有益的。本文主要的研究目的是采用模型检测工具SMV对SET安全支付协议进行验证。在以Lu & Smolka对SET协议支付过程的简化模型为研究对象的情况下,建立其形式化模型和有限状态机模  (本文共63页) 本文目录 | 阅读全文>>

《课程教育研究》2014年16期
课程教育研究

关于SET协议安全分析的课堂讲解

本部分内容的主要目标是理解安全协议的设计目标与协议安全的分析方法,结合作者的教学实践,本文首先分析SET协议主...  (本文共1页) 阅读全文>>

《微电子学与计算机》2017年06期
微电子学与计算机

一款抗SET电荷泵研究

提出了一种新颖的抗单粒子瞬变效应(SET)电荷泵结构,通过在电荷泵和低通滤波器间增加数控抑制电路(NCR),对单粒子辐射产生的电流干扰脉冲进...  (本文共4页) 阅读全文>>

《微计算机信息》2009年21期
微计算机信息

基于SET协议优化的电子钱包

本文提出了基于SET协议的优化的电子钱包的体系结构,它解决了电子钱包客户端...  (本文共3页) 阅读全文>>

《信息安全与通信保密》2007年08期
信息安全与通信保密

超椭圆曲线密码体制在SET协议中的应用研究

文中介绍了SET协议的运作方式,对超椭圆曲线密码体制和RSA密码体制作了比...  (本文共3页) 阅读全文>>

《软件导刊》2007年21期
软件导刊

椭圆曲线密码体制在SET协议中的应用研究

SET(安全电子交易协议)是为了在Internet上进行在线交易时,保证信用卡支付的安全而设计开发的一个开放的规范。介绍了基于SET协议的购物流程及其采用的密码技术。针对SET...  (本文共2页) 阅读全文>>