SET协议模型的改进与SMV分析

在以Lu&Smolka对SET协议支付过程的简化模型为研究对象的情况下,进行形式化建模和有限状态机模型。同时应用CTL对相应的安全性质进行形式描述,并在网络环境被入侵者控制的假设下,利用SMV分析了协议的认证性、保密性和完整性,发现攻击并对该攻击所产生的影响进行了讨论。最后修改其协议模型对改进后的协议进行分析和检验,说明了SET协议独具特色的双重签名在整个协议运行中至关重要。     

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

分析了电子商务中SET协议的运作方式,针对SET交易每个阶段要用加密和数字签名保证其安全进行的要求,设计了一套椭圆曲线密码体制在SET协议中的应用方案,其中包括ECC的密钥生成、数字签名和数字信封的实现算法.给出了一个SET交易的安全实现模型,它保证了交易的有效性、机密性、完整性和不可抵赖性.     

SET协议的支付模型分析

文章对安全电子交易协议SET的核心部分&&安全支付模型&&进行了详细分析,给出了有关协议数据的形式化描述,叙述了安全支付过程中的购买请求、支付授权、资金清算等处理流程,为进一步研究电子商务的安全支付问题,给出了一个参考模型.     

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

分析了电子商务中SET协议的运作方式,针对SET交易每个阶段要用加密和数字签名保证其安全进行的要求,设计了一套椭圆曲线密码体制在SET协议中的应用方案,其中包括ECC的密钥生成、数字签名和数字信封的实现算法。给出了一个SET交易的安全实现模型,它保证了交易的有效性、机密性、完整性和不可抵赖性。     

AKC攻击研究:攻击方式、转换算法和实例分析

攻击者获取某主体（actor）的长期私钥后,利用该私钥伪装成其他主体欺骗actor或获取保密信息的行为被称为AKC（Actor Key Compromise）攻击.除密钥交换协议外,AKC攻击在其他类型的协议研究中较少受关注.本文强调了AKC攻击问题的重要性,并对其攻击方式和应对策略进行系统研究.通过实验总结出4类AKC攻击方式,并对应提出3类抵制AKC攻击的协议模型和设计原则.在此基础上,给出了将一般协议转换为AKCS协议（在AKC攻击下保持安全性质的协议）的启发式算法.在实例分析中,将算法应用在Email、SET、Kerberos等协议上.实验表明,上述协议受AKC攻击,但在算法的转换下,协议不再受AKC攻击影响.     

SET协议关键事务的XML Schema定义

安全电子交易SET是一个用于保护Internet上信用卡交易的加密与安全规约,它定义了多种事务类型,其中最重要的三种事务分别为购买请求事务、支付授权事务和支付获取事务,要求在理解SET协议关键事务的基础上,为了实现数据的互操作要求,采用XML作为消息的载体,设计与SET协议关键事务相关的XML Schema定义,要求能够完整准确地表达消息的各种要素.     

小额交易中SET协议的优化及SPIN验证的研究

作为电子商务的重要组成部分,基于Internet的电子交易受到了广泛的关注。SET交易过程十分复杂,在完成一次SET协议交易过程中,需验证电子证书9次,验证数字签名6次,传递证书7次,进行签名5次,4次对称加密和非对称加密。本文选取SET协议的核心部分：购买请求、支付认证和获得付款3个子协议过程作为研究分析对象,针对不同数额的交易进行分级,针对小额的交易过程进行协议的优化,对SET进行SPIN模型检测,并根据分析模拟与验证的结果对SET进行改进。     

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

针对我国主要以借记卡进行支付的特点，提出了适合借记卡的SET支付模型和协议。该改进的模型和协议基于通用SET协议，提出了建立用户借记卡分级制度和定期更新支付网关分级列表的新策略，较好地解决了用借记卡进行电子商务支付的快速响应问题，同时分析了对此种协议可能受到的攻击和解决的办法。     

基于SET协议的CA中心系统的研究与实现

SET协议是电子商务交易中较为安全的交易协议,CA中心是目前保证网络信息安全的一种比较可靠的安全机构,基于SET协议的CA中心系统能够进一步地保证电子商务交易的安全.本文首先介绍了SET协议的基本原理和技术基础;接着从安全性的角度对CA中心系统的组成与功能进行了深入的分析;最后以SET协议为基础,为CA中心的构建提出了一个较为安全可行的实现方案.     

SSL/SET协议比较与改进模型

本文对SSL、SET两个电子商务安全协议作一比较，并针对不同的安全需要，构造一个分级安全控制模型，较好地改进了SET协议。     

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

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

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.     

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

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

改进SET对持卡人的隐私保护

SET是一个用于信用卡在线支付的安全规范，其交易模型由持卡人、商家、收单行、发卡行等各方组成。持卡人的个人信息(如卡号、密码、订单信息)可能被有关的参与方记录、收集、分析和滥用，因此对持卡人的隐私保护是十分重要的。本文分析了SET对持卡人隐私保护的不足，并提出了SET的改进方案，减少了个人隐私被泄露的风险。     

SET中持卡人隐私保护分析及改进

本文简单介绍了SET协议，分析了它的隐私保护，并进行了改进扩展，提出了一种能够实行假名支付的新的模型。     

基于Spin的SET协议模型检测研究

模型检测技术已成功地运用于验证复杂系统的性质。本文提出运用Promela语言对电子商务协议进行建模的方法,对比分析了有无入侵者时简化的SET协议的运行情况。运用Spin模型检测工具,对SET协议的Promela模型进行了检测,对电子商务协议中的关键性质认证性和保密性进行了分析与检测,发现了协议中的缺陷。     

基于SET协议的交叉认证

介绍了公钥基础设施PKI和一般的认证模型，提出一基于SET协议的交叉认证模型 ，说明了交叉认证实现时SET证书的扩展方法。