刘义春
- 作品数:13 被引量:39H指数:5
- 供职机构:广东商学院法治与经济发展研究所广东省电子商务市场应用技术重点实验室更多>>
- 发文基金:浙江省教育厅科研计划国家自然科学基金浙江省自然科学基金更多>>
- 相关领域:自动化与计算机技术经济管理天文地球更多>>
- 电子商务协议的串空间分析被引量:6
- 2008年
- 电子商务协议常常具有复杂结构,协议可能由多个子协议组合而成。因此,电子商务协议的安全分析较认证协议更为复杂。传统的信念逻辑不适宜分析电子商务协议。Kailar逻辑适宜分析电子商务协议的可追究性,但不适宜分析协议的公平性。本文介绍并扩展了串空间逻辑,分析了ISI支付协议的串,并证明其不满足公平性。还提出一种新的串节点路径法,用以分析了ASW协议,该协议系由多个子协议组成的分支结构协议,通过串空间分析证明了该协议的公平性。通过对两个协议的分析,分别提供了对电子商务在线交易协议和离线交易协议的形式化分析方法。
- 刘义春张焕国
- 关键词:串空间电子商务协议
- 电子商务中的信任机制研究被引量:6
- 2008年
- 针对几种主要的身份信任机制,包括口令认证机制、数字证书认证机制和基于ID认证机制,进行了深入分析和研究.从交易者历史交易行为所表现的信任着手,给出了评估交易信任的动态评估模型.
- 刘义春
- 关键词:电子商务信任
- 基于PKI的二维条码电子消费券及其系统设计被引量:6
- 2012年
- 目前在电子商务中主要采用序列号形式的电子消费券,信息容量小且安全性差。为解决该问题,将PKI与二维条码技术相结合,提出一种新型二维条码电子消费券及其使用流程和系统架构,该电子消费券的创建过程为:将原始的消费券信息利用PKI技术进行签名和加密后,再利用Base64编码进行字符编码,最后利用二维条码技术生成二维条码图像形式的电子消费券。实验证明,相比现有技术,该电子消费券信息容量大,数据安全且来源可靠,并可以支持离线使用,适用于团购等新的电子商务模式。
- 梁英宏刘义春
- 关键词:序列号公钥基础设施二维条码团购
- 用于P2P交易的离线电子代币系统被引量:1
- 2005年
- 提出了一种新的可流通的离线电子代币系统。代币可在P2P成员间自由流通,银行和信任方无须在线介入支付过程。借助于一个离线的可信方,可防止系统中出现的重复花费等欺诈情形。
- 刘义春王丽娜张焕国
- 关键词:P2P
- 面向业务的IT服务管理系统的研究与实现
- 2012年
- 提出研发面向业务的IT服务管理系统——SAMP,通过对应用系统及其所依赖的IT基础架构的状态和行为进行监测与分析,实现对应用系统的可用、性能、安全、异常以及关键资源等指标的管理,帮助IT管理人员加快问题定位和故障处理,保障应用系统能够安全可靠地运行。SAMP核心技术包括用于事件关联分析的上下文关联分析引擎,用于提高指标采集效率的指标组和逻辑指标,以及采集调度机制和告警机制。SAMP已经在多个行业投入使用,取得良好的应用效果。
- 梁英宏刘义春朱江燕杨东晓张颖
- 关键词:IT服务管理系统
- 电子支付协议的原子性研究综述被引量:8
- 2005年
- 原子性是设计电子支付协议时应考虑的重要性质。文章介绍了电子支付系统的原子性概念,分析了一些重要电子支付协议的原子性,论述了原子性电子支付协议的实现策略,描述了两个著名的原子性电子支付协议——NetBill和Anonymous Atomic Transaction Protocol的协议实现,基于两阶段提交策略提出了一种新的原子性实现方法并用于构造原子性电子合同签署协议,就复杂电子交易模式的原子性支付问题进行了探讨,指出了电子支付原子性研究的最新发展和亟待解决的公开问题。
- 刘义春张焕国王丽娜
- 关键词:电子支付协议电子支付系统电子交易原子性
- P2P组合交易的公平支付协议被引量:2
- 2008年
- 针对P2P交易环境中的多方组合交易模式,提出一个新的乐观公平的离线支付方案。在该方案中,参与协议的任何一方均不具有优势,信任方不需要在线介入支付过程。分析支付中可能出现的争议,并给出解决方案。分析结果验证了该协议的公平性。
- 刘义春
- 关键词:P2P系统
- 多方对等交易分级支付研究
- 2007年
- 通过对多方对等交易模式进行分析,研究了多方对等交易分级支付环境的最优交易路径策略和买方定价策略,提出了一种新的能保障交易安全的"洋葱支付"模型,该模型可确保在多方链状交易中商品版权商能获得应得的商品版权金,每一个中间商能获得约定的交易佣金,任何一方都不能攫取应属于其他方的支付金。
- 刘义春
- 一种可转移的离线电子现金方案
- 2012年
- 在目前的电子现金方案中,电子现金多半不能转移。为此,提出一种用于电子支付的可转移离线电子现金方案,采用限制性盲签名进行电子现金的签发,利用可转换的部分签名进行电子现金的转移。银行和可信第三方无需在线介入每一次交易,使系统效率得到提高。安全性分析结果证明,交易过程中出现重复消费等欺诈行为时,可信第三方能撤销电子现金的匿名性,查明欺诈者。
- 刘义春胡玉平
- 关键词:电子现金匿名性限制性盲签名支付协议
- 一个基于信任的P2P访问控制模型被引量:6
- 2008年
- 多数访问控制模型都针对集中式的和相对静态的系统,不适宜主客体动态变化的协同环境。文章分析了P2P系统的信任机制,介绍了考虑事务上下文因素的信任度计算方法,提出一种基于信任的动态访问控制模型dTBAC,以解决P2P环境的安全问题。该模型从网络个体信任的角度建立访问控制体制,根据主客体的信任值对访问权限进行动态管理。文章还就P2P应用中不同的访问服务类型给出了具体的访问授权策略。
- 刘义春
- 关键词:访问控制P2P系统信任访问权限