搜索到347篇“ 电子商务协议“的相关文章
- 基于区块链的隐私保护电子商务协议及算法研究
- 随着电子商务的快速发展,电子商务系统面临着很多安全的问题,比如用户的隐私信息泄露问题,系统中心化问题,物流过程不安全不透明等问题。新兴的区块链技术已在电子商务系统中被广泛采用,它允许互相不信任的节点在没有可信第三方的情况...
- 张颖
- 关键词：电子商务区块链去中心化账户余额安全共享可追溯
- 欧盟提出全球电子商务协议
- 2019年
- 日前欧盟公布了其关于电子商务未来规则和义务的拟议案,作为世贸组织在今年早些时候举行的达沃斯世界经济论坛期间批准的电子商务谈判的一部分。该议案提出了一系列与电子商务和电信服务有关的WTO纪律和承诺,旨在加强监管可预测性并改善市场准入条件。议案涵盖电子合同,电子认证、电子签名以及保护消费者等内容。
- 关键词：电子商务协议欧盟商务谈判世贸组织电信服务可预测性
- 一种基于混合遗传算法的电子商务协议
- 一种基于混合遗传算法的电子商务协议是为了提高基于智能体电子商务双边多议题协商中agent协商的效率，提出了一种agent的协商模型，并且将混合遗传算法(HGA)应用于其中，以提高agent协商的效率。
- 不公告发明人
- 电子商务协议SSL与SET的分析研究被引量：1
- 2017年
- 在电子商务活动中,核心问题是电子交易安全。安全协议是目前电子支付技术安全问题中的热点,安全套接层协议(SSL)和安全电子交易协议(SET)是电子商务中支持支付系统的关键技术。本文先分析了这两种协议的原理、工作流程,然后对两者的特点进行了对比,最后对安全协议的发展趋势做出了预测。
- 蔡俊杰
- 关键词：电子商务安全协议SSL协议SET协议
- 行为原语自动生成的电子商务协议可组合设计策略及应用研究被引量：1
- 2015年
- 针对电子商务协议设计复杂度较高且手动组合设计效率较低的问题,构建了行为原语自动生成的可组合设计策略:利用自动生成工具从挑战/应答、现时值/秘密创建、加密/解密的角度描述电子商务活动各阶段的核心安全行为,根据身份认证、信息保密、信息完整、不可否认性、可追究性、客户隐私的可组合性设计规则规范消息项结构,通过多事件顺序、安全属性组合以及信息精简等规则将多个原语组合为复合协议。经过应用研究,设计出一个新的安全支付协议,实现了多个客户和商家对同时交易的电子商品和实物商品的在线支付安全。从安全性和设计效率的角度与现有的组合设计方法进行比较,分析表明,该策略是一种更加便捷安全的电子商务协议组合设计新策略。
- 李晓乐翁鸣庞原红
- 关键词：自动生成
- 颜色Petri网的电子商务协议攻击分析方法被引量：1
- 2014年
- 针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题,提出一种基于颜色Petri网的电子商务协议攻击分析方法,用于分析协议中可能存在的攻击。给出带有攻击者的具体建模方法和分析过程,提出从不可否认证据中提取敏感信息作为不安全状态的定义方法,并且采用逆向状态分析和CPN Tools仿真工具两种方法来分析颜色Petri网模型,得出协议的攻击结果。对CMP1协议进行实例分析,理论分析和实验结果表明了该方法的正确性和有效性。
- 司亚利刘文远卢贝
- 关键词：电子商务协议形式化分析颜色PETRI网重放攻击
- 基于ECDH密钥交换算法的电子商务协议原子性设计被引量：1
- 2014年
- 针对数字交易中商家收钱不发货和顾客收货不承认等货物传输的安全性问题,设计一种基于ECDH密钥交换算法的电子支付协议原子性方案,通过客户和商家共同协商产生数字货物。结果表明,所提方案有效地解决了电子商务中有关数字交易卖方不发货、发货不符合规定和买方收货却抵赖不承认的问题。
- 周辉张向利张红梅
- 关键词：电子支付原子性
- 电子商务协议的形式化分析与漏洞检测
- 电子商务安全协议,为电子商务活动提供一系列的安全保护工作,是整个系统安全体系的核心。电子商务安全协议除需要提供保密性、认证性等一般安全性质外,通常还需要满足原子性、匿名性以及不可否认性等多种特性。因此,电子商务安全协议的...
- 常寅龙
- 关键词：电子商务协议漏洞CSP形式化分析匿名性
- 一种颜色Petri网的电子商务协议分析方法被引量：1
- 2013年
- 针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,并充分考虑时限性对公平性的影响,更加有效地分析公平性.文中以KZG协议为例,建立了KZG的分层颜色Petri网模型,利用CPN Tools工具对该模型仿真运行,并通过状态空间和查询函数分析了协议的性质,证明了本方法的有效性.
- 王宝文卢贝司亚利刘文远
- 关键词：形式化分析方法电子商务协议颜色PETRI网CPNTOOLS
- 有穷机和逻辑结合的电子商务协议分析方法被引量：1
- 2013年
- 提出一种扩展的有穷自动机模型,并结合卿-周逻辑给出一种新的电子商务协议形式化分析方法,用于分析电子商务协议的可追究性、公平性和时限性.该方法结合了模型检测和逻辑分析两种形式化分析方法的优点,可以准确形象地描述协议的具体运行过程,并且在发生重放攻击时能够正确分析各方的责任.利用该方法对Kim等人提出的改进版ZG协议进行了实例分析,给出了描述该协议运行过程的状态转换图,结合状态转换图对该协议分析得出其满足可追究性、公平性、时限性,并且不存在被重放攻击的可能.最后用时间自动机UPPAAL验证了新方法中有穷自动机模型的准确性和时限性分析的有效性.
- 刘文远马生司亚利侯贵宾
- 关键词：电子商务协议形式化分析有穷自动机逻辑分析
相关作者
- 董荣胜
- 作品数：182被引量：1,533H指数：14
- 供职机构：桂林电子科技大学
- 研究主题：决策图 无线传感器网络 MDD 原子性 计算思维
- 文静华
- 作品数：83被引量：206H指数：8
- 供职机构：贵州财经大学信息学院
- 研究主题：公平 形式化分析 ATL 电子商务协议 安全性
- 郭华
- 作品数：63被引量：442H指数：6
- 供职机构：北京航空航天大学
- 研究主题：云制造 指令集 UPPAAL 电子商务协议 切片
- 卿斯汉
- 作品数：260被引量：3,748H指数：32
- 供职机构：中国科学院软件研究所
- 研究主题：网络安全 信息安全 防火墙 计算机网络 操作系统
- 郭云川
- 作品数：128被引量：326H指数：9
- 供职机构：中国科学院信息工程研究所
- 研究主题：访问控制 公平 电子设备 电子商务协议 汇聚节点
