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

来源 :计算机与现代化 | 被引量 : 0次 | 上传用户:zoe8480
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
作为电子商务的重要组成部分,基于Internet的电子交易受到了广泛的关注。SET交易过程十分复杂,在完成一次SET协议交易过程中,需验证电子证书9次,验证数字签名6次,传递证书7次,进行签名5次,4次对称加密和非对称加密。本文选取SET协议的核心部分:购买请求、支付认证和获得付款3个子协议过程作为研究分析对象,针对不同数额的交易进行分级,针对小额的交易过程进行协议的优化,对SET进行SPIN模型检测,并根据分析模拟与验证的结果对SET进行改进。
其他文献
自然免疫系统的保护机制为设计计算机入侵检测带来了巨大的灵感,并且它是一种能够解决复杂入侵问题的信息安全技术。本文提出一个新的异常入侵检测算法,该算法能够通过产生有
分析在Visual Studio 2005下利用C++语言读取Microsoft Office Excel文件内容的几种典型方法的优缺点。当读写不含公式、图表Excel文件中的大量数据时可以采用读写Excel非常快
通过对传统的商业Web开发出现的问题进行分析,介绍一些框架技术,并根据一个具体的商务应用系统,对如何选择采用一些框架技术,及其如何具体实现进行了深入的探讨,以最大限度减
IEEE802.15.4标准是为满足低速率、低能耗、低成本需求而制定的无线个人区域网(LR_WPAN)规范。通过用网络仿真软件NS2对基于IEEE802.15.4的无线传感器网络的主要性能指标进行分
针对城市场景车用白组织网VANET(Vehicular Ad Hoe Networks)的特性和车辆间通信时常中断的问题,在现有VANET路由协议的基础上,提出了一种改进的路由协议AAR。AAR基于实时交通流,
在粗糙集理论中,精度是量化由粗糙集边界引起的不精确性的一种重要数字特征,但传统精度没有考虑到由关系覆盖导出的颗粒大小。本文通过引入独立邻域集的概念,给出一种新的广
针对农村电网电能质量问题.设计以DSP和ARM为核心的嵌入式系统来检测农村电网的电能质量。在嵌入式Linux操作系统的软件平台上,通过QT/Embedded实现良好的人机交互界面,以TMS320V
介绍对高校各种报障体系的整合,建立一套报障业务流程,开发一套基于网络的综合报障业务系统,建立集人工、网页、即时通讯、短信的网络报障一体化。系统实现网上报障,系统自动
高斯混合模型在语音转换中得到了广泛应用,但其随着模型阶数和特征维数的提高,估计参数的数目会急剧增加,使参数估计的准确性和稳定性大为降低。本文提出将特征向量去相关之
针对当前高校图书馆文献检索系统不能面向不同读者提供个性化检索服务的弱点,进行文献个性化检索的研究,提出将关联规则运用于对原始检索结果集按照读者层次进行个性化排序的