浙江省自然科学基金(Y106802)
- 作品数：6 被引量：18H指数：3
- 相关作者：刘义春张焕国许军进尹克震更多>>
- 相关机构：广东商学院武汉大学杭州电子科技大学更多>>
- 发文基金：浙江省自然科学基金浙江省教育厅科研计划广东省科技计划工业攻关项目更多>>
- 相关领域：自动化与计算机技术天文地球电子电信更多>>
- 电子商务协议的串空间分析被引量：6
- 2008年
- 电子商务协议常常具有复杂结构,协议可能由多个子协议组合而成。因此,电子商务协议的安全分析较认证协议更为复杂。传统的信念逻辑不适宜分析电子商务协议。Kailar逻辑适宜分析电子商务协议的可追究性,但不适宜分析协议的公平性。本文介绍并扩展了串空间逻辑,分析了ISI支付协议的串,并证明其不满足公平性。还提出一种新的串节点路径法,用以分析了ASW协议,该协议系由多个子协议组成的分支结构协议,通过串空间分析证明了该协议的公平性。通过对两个协议的分析,分别提供了对电子商务在线交易协议和离线交易协议的形式化分析方法。
- 刘义春张焕国
- 关键词：串空间电子商务协议
- 电子商务中的信任机制研究被引量：6
- 2008年
- 针对几种主要的身份信任机制,包括口令认证机制、数字证书认证机制和基于ID认证机制,进行了深入分析和研究.从交易者历史交易行为所表现的信任着手,给出了评估交易信任的动态评估模型.
- 刘义春
- 关键词：电子商务信任
- M序列反馈函数重量与项数的分析被引量：3
- 2007年
- M序列是由n级非线性移位寄存器产生的周期为2n的伪随机序列,被广泛应用于各个领域。该文研究了M序列反馈函数的项数和重量的特性,分析了它们之间的关系以及给定重量和项数时M序列的数量特性,并得到一些相关的结论。
- 许军进尹克震
- 关键词：伪随机序列项数
- 多方对等交易分级支付研究
- 2007年
- 通过对多方对等交易模式进行分析,研究了多方对等交易分级支付环境的最优交易路径策略和买方定价策略,提出了一种新的能保障交易安全的"洋葱支付"模型,该模型可确保在多方链状交易中商品版权商能获得应得的商品版权金,每一个中间商能获得约定的交易佣金,任何一方都不能攫取应属于其他方的支付金。
- 刘义春
- P2P组合交易的公平支付协议被引量：2
- 2008年
- 针对P2P交易环境中的多方组合交易模式,提出一个新的乐观公平的离线支付方案。在该方案中,参与协议的任何一方均不具有优势,信任方不需要在线介入支付过程。分析支付中可能出现的争议,并给出解决方案。分析结果验证了该协议的公平性。
- 刘义春
- 关键词：P2P系统
- 电子商务交易的安全研究综述被引量：1
- 2007年
- 安全性是电子商务交易中最关键、最核心的要素。分析电子商务交易系统的特点,论述电子商务交易必须满足的机密性、公平性、不可否认性等重要性质,提出保障交易安全的电子商务设计策略。
- 刘义春
- 关键词：电子商务交易安全性不可否认性
