基于PayWord的WWW微支付模型

在PayWord微支付机制的基础上,通过对支付协议的深入分析和研究,对协议进行了必要的扩展和改进,使其更适合应用于WWW中的信息付费和访问控制.最后对系统的具体实现给出了建议.     

一种基于票据的P2P微支付协议

描述了采用微支付方式衡量P2P文件共享系统中节点数据传输量存在的问题,提出了一种基于票据的微支付协议,对票据结构和支付过程进行了详细阐述,并且从安全和效率两方面对该协议进行分析.通过对比分析得出该协议具备较好的安全性、灵活性、便捷性,有效降低了仲裁服务器的负载.     

移动商务中一种扩展的微支付协议研究

为了解决移动商务的安全交易问题,在MicroMint微支付协议的基础上提出了一种扩展的协议.该协议完善了MicroMint协议的支付过程,使用数字签名、数字信封等技术提高了网络支付的安全性,通过在线支付保证了MicroMint硬币不被重复消费.扩展后的MicroMint协议能有效地同时保护消费者和商家的利益,更加适用于移动微支付商务.     

一种适用于移动环境中的微支付协议

文章首先介绍了微支付的特点,分析了Payword微支付协议.在此基础上,提出一种新的微支付协议.该协议弥补了Payword协议在效率和安全性方面的某些不足之处,具有安全、方便和高效等特点,适用于移动环境中.     

WAP环境下移动支付协议公平性分析

为保证买卖双方公平交换,基于主动测试定理和发送边存在定理分析了移动支付协议的公平性,指出该协议存在安全缺陷.由此提出了一种改进协议,通过增加时间戳和改变部分消息发送的主体弥补协议公平性缺陷,并用扩展串空间模型对其公平性进行了形式化分析,证明其在没有影响运行效率的前提下能够满足公平性要求.研究结果验证了所提的方法可以有效地分析协议公平性.     

电子支付系统的安全性研究及其设计

电子支付系统是电子商务体系的重要组成部分 ,主要用来解决电子商务中的各交易实体 (用户、商家、银行等 )间资金流和信息流在 Internet上的即时传递及其安全性问题。随着电子商务的快速发展 ,电子支付系统一直是国内电子商务体系中的薄弱环节 ,越来越成为制约电子商务发展的一个关键因素。着重探讨了如何构建一个安全的电子支付系统 ,以解决电子商务中实时在线的安全支付问题。首先就信息加密、数字签名、数字证书等信息安全技术的特点及其应用作了探讨。最后根据 SET协议和 SSL协议的技术特点 ,分别就基于两种协议的电子支付系统作了设计 ,阐述了系统是如何解决支付的安全性的。     

简单网络支付协议的形式模型

本文研究电子商务系统的支付问题,讨论了简单网络支付协议(SNPP),应用时间自动机(TA)对该协议进行建模,目标是对其性质进行分析并保证支付系统的可靠实现。     

基于混沌双Hash链的移动微支付协议

通过对现有微支付协议的分析研究,指出了它们在安全方面存在的问题,提出了一种新的基于混沌双Hash链的移动微支付协议。该协议主要是针对价值较低的网络信息服务收费的需要,利用类混沌系统迭代过程的单向性构造出双支付字链,通过双支付字链中的一个链确定的支付字对商家收费,而通过另一个链确定的支付字对用户收费。该协议具有匿名性、用户订购信息机密性,并能够提供部分公平性。分析表明,该协议安全性更高,并且执行效率更快,适用于交易金额微小的移动微支付业务。     

一种改进的基于账户的安全电子支付协议

分析了iKP协议，并指出了其中的不足，提出了一种改进的安全电子支付协议. 改进的协议在保持了iKP协议原有安全特性的同时，还具有以下优点：降低了交易过程中的通信开销；避免了冗余的签名验证过程；实现了商品交付阶段的身份认证及证据保留；提供了完善的消费者购物隐私保护机制；确保了支付结算时消费者已获得商品.     

一种改进的基于账户的安全电子支付协议

分析了iKP协议，并指出了其中的不足，提出了一种改进的安全电子支付协议. 改进的协议在保持了iKP协议原有安全特性的同时，还具有以下优点：降低了交易过程中的通信开销；避免了冗余的签名验证过程；实现了商品交付阶段的身份认证及证据保留；提供了完善的消费者购物隐私保护机制；确保了支付结算时消费者已获得商品.     

电子商务安全技术初探

从保密性、完整性、有效性、可靠性、不可依赖性和可控性6个方面介绍了电子商务的安全性需求,在此基础上分析了电子商务安全关键技术和电子商务安全交易协议,并对SSL协议、SET协议进行了比较.结果表明:SET在网上交易安全性控制方面远比SSL严密,必然成为未来的发展方向.     

电子商务支付模式选择

对电子商务支付模式、支付类型的选择 ,从安全需求分析、交易额大小及交易双方的具体关系性质等方面对电子商务支付模式加以讨论 ,并在风险、费用、方便性等方面对各有短长的两种信用卡支付协议——SSL、SET进行了分析比较     

一种基于网络电子钱包系统模型的构建

指出了目前国内网络支付中基于SET的电子钱包系统的不足之处,提出了一种新的电子钱包系统构建模型,并进行了分析,对推动网上电子支付的发展具有实际意义。     

试论工科院校中的学生评教工作

学生评教是高等工程教育质量监控体系中的一个重要的环节。工科院校只有重视学生评教的理论和实践问题的研究,才能使学生评教工作尽可能大地发挥正面效应。本文阐述了学生评教的法律依据和时代精神、意义和怍用;肯定了学生评教的可信性和有效性;归纳了制定学生评教表的基本原则;分析了影响学生评教效果的人为因素。     

SET协议支付过程的符号模型检验

电子商务协议的安全性是电子商务健康发展的关键。随着SET协议应用的日益广泛,其安全性受到了业界的极大关注。分析、寻找SET协议安全隐患或证明其安全性,将有助于协议的进一步应用和发展。将模型检测应用于分析SET协议,给出SET协议支付过程的形式化模型和有限状态机模型,以及协议安全属性的CTL公式,并在网络环境被入侵者控制的假设下,基于SMV符号模型检测工具对协议进行了分析。结果表明,SET协议拥有保密性、完整性、认证性等电子商务安全需求属性。     

基于SSL＆SET协议的在线支付模型探究

电子支付是电子商务交易活动中的一个重要环节,涉及到用户与商家和银行等多个部门的信息交互。如何实现安全、可靠、方便的电子支付,是电子商务发展中迫切需要解决的问题。本文对两种占主流地位的安全交易协议SSL和SET进行了比较,在此基础上,提出一种基于SSL＆SET的在线安全支付模型,并对其特色进行了分析和论证。     

电子商务协议的建模方法与分析

电子商务商议是安全协议和商务逻辑的结合体,SET协议是为解决信用卡支付业务在Internet上安全、可靠的支付而提出的一种解决电子商务的安全支付方案。因为SET协议涉及的参与主体较多．相互握手次数较平凡．从而导致协议比较复杂．分析比较困难,．在分析SET协议规范的基础上,利用形式化分析工具－Petri网对SET协议进行建模分析,给出协议与Petri网模型之间的对应关系。最终使得SET协议便于理解和分析。     

潮滩冲淤监测方法与实时监测系统设计

分析了潮滩冲淤监测的几种常见方法,其中标志桩法、SET和RSET法、沉降板法、人工示踪砂法、PEEP和PEEP-3T法、ALTUS和ADV法等主要测量某点或某断面上的冲淤量,3S技术结合地形图或海图实现了大范围潮滩面上的冲淤变化测量。借鉴海洋、海岸实时监测系统的原理和实践经验,提出了潮滩冲淤实时监测系统的设计方案,该系统数据采集子系统包括潮滩高程、景观图像、地物光谱、气象和水动力等因子的数据综合采集,数据通过网络连接传输到实验室,以实现地貌变化和驱动因素的同步获得和综合分析,并通过地物光谱信息获取,为遥感数据解译提供基础资料。     

Simulation analysis of heavy-ion-induced single-event response for nanoscale bulk-Si FinFETs and conventional planar devices

FinFET technologies are becoming the mainstream process as technology scales down. Based on 28-nm bulk-Si FinFETs and planar transistors, three-dimensional technology computer-aided design (TCAD) simulations are performed to investigate the charge collection mechanisms and single-event transient (SET) pulse widths for nanoscale devices. Simulation results show that charge collection and SET pulse widths for FinFETs are smaller than those of the planar device. An overall analysis indicates that for P-hits, the reduced charge collection in p-FinFET is induced mainly by the narrow sensitivity drain volumes when ion linear energy transfer (LETs) less than 20 MeV cm²/mg; however, the parasitic bipolar amplification effect presents an important effect on the charge reduction for higher ion LETs. An in-depth analysis shows that the reduced bipolar amplification effect in p-FinFET is owing to the conduction channel (fin body) rather than source/drain region. Due to a parasitic reversed bipolar effect, the single-event response for N-hit is less sensitive than that for P-hit. Moreover, comparisons of the temperature dependence of SET pulse width in both FinFETs and planar devices is carried out, which indicate that the SET pulse width in PMOS shows stronger temperature dependence than that in p-FinFET. This gives a new insight into the single-event effects (SEE) in FinFETs, which can provide guidelines for future radiation-hardened applications of FinFET-based circuits.