基于高级SET协议的电子商务安全

在充分分析安全电子交易的前提下,针对目前流行的SET标准协议进行分析,指出了SET协议在交易过程中的各种缺陷,进而提出了SSET协议,并对SSET协议的工作流程进行详尽阐述。SSET协议增强了原有SET协议的安全性和不可否认性,满足了交易原子性、隐私保护性,并提出了信用等级制度和纠纷仲裁机制,完善了电子交易的整个过程,切实保护了各方利益。     

一种改进的安全电子交易协议

针对目前主流的电子支付协议--安全电子交易SET协议,本文给出了一种改进的安全电子交易A-SET协议。A-SET协议改进了SET协议的交易流程,继承了SET原有的安全特性,可以进一步保证交易的原子性和不可否认性,有效地保证了交易双方的公平性。     

SET协议分析及改进的方案

SET(SecureElectronicTransaction,安全电子交易协议)是由Visa和MasterCard公司于1997年5月联合开发的在互联网上进行在线交易时保证信用卡支付安全的一个开放协议。文章对该协议进行分析,指出了SET协议存在的不足,并且在此基础之上对原有的协议流程进行了改进,使SET协议在提高机密性、完整性、不可否认性的同时实现交易的公平性原则。     

SET协议的安全性分析及改进

对SET协议中电子交易信息的机密性、身份认证、数据完整性进行了详细的阐述,并对“不可否认性”验证和国家安全部门强制介入的情况提出了解决的措施,还分析了SET协议中电子交易“时效性”的问题。     

电子商务安全协议分析与展望

电子商务在经历了前几年的“虚火”以后，进入了一个平缓发展时期。由于电子商务基于开放的互联网，必然面临各种安全风险，诸如信息泄露或篡改，欺骗，抵赖等。电子商务安全涉及信息的保密性、完整性，交易身份的真实性，不可否认性以及可审计性。因此，研究简洁，有效的安全协议对电子商务安全至关重要。目前，电子商务中使用的安全协议主要有安全套节层协议（ssL）和安全电子交易协议（SET）。     

基于四方的安全电子商务支付协议研究

随着电子商务的迅速发展和普及,电子商务安全支付显得越来越重要,成为影响电子商务发展的关键技术.以国际电子商务支付协议标准SET协议为研究对象,针对其无法确保商品原子性和确认发送原子性的缺陷,进行了一些改进;建立了一个基于四方的、能够自动存取关键电子证据、确保商品原子性和确认发送原子性、仲裁处理交易纠纷的安全电子商务支付...     

监色的魅力——IBM安全电子交易解决方案

SET是由MASTERCARD和VISA联合制定的安全协议,用于在Internet上通过信用卡进行交易的支付,减少欺诈风险,它已作为业内公开标准推广使用。 SET提供消费者、商家和收单银行的认证,确保交易数据的安全、完整可靠和交易的不可否认性,特别是保证不将消费者信用卡号暴露给商家。 SET提供电子商务的特殊安全需要: ①支付信息和订单信息的安全保密; ②使用数字签名确保支付信息的完整性; ③使用数字签名和消费者证书,进行消费者银行     

SET协议的分析与改进

网上支付安全是电子商务中的最为核心与复杂的一个环节。由MasterCard和Visa等组织于1997午提出的SET协议，是适合于B2C模式电子商务的、以信用卡为基础的支付协议，它能够实现交易实体的身份鉴别，信息的保密性、完整性和不可否认性。与其它支付协议相比，SET对商家、持卡人提供了更加周到的安全保护，最大限度地降低遭受欺诈的风险。     

SETBOC协议分析及改进方案

分析了SETBOC(SET based on one—way Certification)的优点和不足。根据一个安全电子商务协议应具备安全性、原子性、匿名性和不可否认性,提出了同时满足四个性质的一个改进方案,极大地提高了电子商务协议的安全性。     

电子商务协议研究综述

电子商务协议是电子商务实施的技术基础.对电子商务协议研究进行综述,包括电子商务协议设计的原则(如安全性、匿名性、原子性、不可否认性和交易规模)以及对若干著名电子商务协议的描述和分析.     

基于四方的安全电子商务支付协议研究

随着电子商务的迅速发展和普及,电子商务安全支付显得越来越重要,成为影响电子商务发展的关键技术。以国际电子商务支付协议标准SE」协议为研究对象,针对其无法确保商品原子性和确认发送原子性的缺陷,进行了一些改进;建立了一个基于四方的、能够自动存取关键电子证据、确保商品原子性和确认发送原子性、仲裁处理交易纠纷的安全电子商务支付协议;给出了协议的形式化描述;最后对基于四方的电子商务支付协议的安全性进行了分析。     

Secure Electronic Payments Based on Mobile Agents

The SET protocol for secure electronic payments, in particular its purchasing phase, is intended for users connected to the Internet during the entire transaction. This requirement cannot be easily met in high communication costs and/or low bandwidth settings, typically found in mobile computing environments.In this paper we describe SET/A, a system that works according to the SET rules for purchasing operations without forcing the user to be connected during the entire transaction. This is achieved by sending an agent to the merchant's server carrying all the data necessary to order and pay the goods (products, services or information). The paper shows that this can be achieved safely and efficiently, providing an alternative way for Internet payments using the SET protocol. We give our first impressions on SET/A usage by describing a prototype implementation based on a mobile agent system called AgentSpace, as well as a detailed example of what we consider a realistic application of the system.     

A flaw in the electronic commerce protocol SET

The Secure Electronic Transaction (SET) protocol has been developed by the major credit card companies in association with some of the top software corporations to secure e-commerce transactions. This paper recalls the basics of the SET protocol and presents a new flaw: a dishonest client may purchase goods from an honest merchant (with the help of another merchant) for which he does not pay. Fortunately, by checking his balance sheet, the merchant may trace with the help of his bank the client and his accomplice. We also propose a modification to fix the flaw.     

Verifying the SET Purchase Protocols

SET (Secure Electronic Transaction) is a suite of protocols proposed by a consortium of credit card companies and software corporations to secure e-commerce transactions. The Purchase part of the suite is intended to guarantee the integrity and authenticity of the payment transaction while keeping the Cardholder's account details secret from the Merchant and his choice of goods secret from the Bank. This paper details the first verification results for the complete Purchase protocols of SET. Using Isabelle and the inductive method, we show that their primary goal is indeed met. However, a lack of explicitness in the dual signature makes some agreement properties fail: it is impossible to prove that the Cardholder meant to send his credit card details to the very payment gateway that receives them. A major effort in the verification went into digesting the SET documentation to produce a realistic model. The protocol's complexity and size make verification difficult, compared with other protocols. However, our effort has yielded significant insights.     

基于小系统理论的简化SET协议

基于Lu & Smolka的SET协议支付过程简化模型,在小系统理论的基础上,运用Promela语言对协议进行形式化建模,采用线性时态逻辑LTL公式对协议的认证性进行形式化描述。在网络环境被入侵者控制的假设下,运用SPIN发现攻击;采用atomic和Bit-state hashing等优化策略,降低模型检测的复杂性,提高验证效率;最后针对协议存在的漏洞提出协议改进方案。     

基于射频单电子晶体管的超灵敏电荷计的模拟研究

集成单电子晶体管(single electron transistor, SET)与射频共振电路的射频单电子晶体管(radio frequency single electron transistor, RF SET)是一种高速高灵敏的电荷计。本文通过建立RF SET的等效电路模型,对共振电路及其与射频传输线的集成进行模拟分析,得到了SET阻抗的最佳匹配,获得了所需的谐振频率、品质因子和对SET阻抗的灵敏度。结果表明,受电荷调制的SET阻抗直接影响着共振电路的品质因子、阻抗和射频透射/反射系数。射频信号随着SET的阻抗降低而减小,峰位基本不变。在SET阻抗小于200 k?时,共振信号幅度随阻抗的变化率较大。透射式与反射式两种结构相比,前者共振频率及品质因子更高,后者则具有更高的灵敏度优势。     

基于射频单电子晶体管的超灵敏电荷计的数值分析

集成单电子晶体管SET（Single Electron Transistor）与射频共振电路的射频单电子晶体管RF SET（Radio Frequency Single Electron Transistor）是一种高速高灵敏的电荷计。通过建立RF SET的等效电路模型,对共振电路及其与射频传输线的集成进行模拟分析,得到了SET阻抗的最佳匹配,获得了所需的谐振频率、品质因子和对SET阻抗的灵敏度。结果表明,受电荷调制的SET阻抗直接影响着共振电路的品质因子、阻抗和射频透射/反射系数。射频信号随着SET的阻抗降低而减小,峰位基本不变。在SET阻抗小于200 kΩ时,共振信号幅度随阻抗的变化率较大。透射式与反射式两种结构相比,前者共振频率及品质因子更高,后者则具有更高的灵敏度优势。     

电子商务中两种安全支付协议SSL和SET的研究与比较

电子商务安全问题的核心和关键是电子交易的安全性,目前电子交易中经常使用如下两种安全在线支付协议:安全套接层SSL协议和安全电子交易SET协议,文章详细分析这两种安全支付协议的体系结构,所能担任的安全服务以及实现机制,然后在安全功能、加密机制、系统负载等方面进行了比较。文章最后认为,SET协议是目前安全性较高的电子交易协议,但是由于而系统庞大而复杂,银行、商家均需要改造系统才能实现互操作,因此,SET协议的普遍应用还将有一个过程。