搜索到205篇“ 公平交换协议“的相关文章
- 一种通用公平交换协议方法、链下通道结构及其跨链交换方法
- 本发明属于区块链技术领域，尤其涉及一种通用公平交换协议方法、链下通道结构及其跨链交换方法。交易双方在同一智能合约内建立具有多个子通道的分层通道；子通道根据上一层通道中交易双方的交易收据生成；通道内的交换遵循通用公平交换协...
- 单志广张延强徐明辉国益豪邹逸飞成秀珍
- 一种通用公平交换协议、链下通道结构及其跨链交换方法
- 本发明属于区块链技术领域，尤其涉及一种通用公平交换协议、链下通道结构及其跨链交换方法。交易双方在同一智能合约内建立具有多个子通道的分层通道；子通道根据上一层通道中交易双方的交易收据生成；通道内的交换遵循通用公平交换协议；...
- 单志广张延强徐明辉国益豪邹逸飞成秀珍
- 一种基于信息熵的理性公平交换协议设计
- 本发明公开了一种基于信息熵的理性公平交换协议设计方案，旨在改变当前理性交换协议中效用函数缺乏统一性标准的现状，满足理性公平协议在实际中的应用需求。其技术要点是，假设理性参与者在交换信息协议过程中的每一轮信息熵都会发生变化...
- 王伊蕾苏万力李涛
- 安全多方公平交换协议的设计与应用
- 互联网的迅速发展，为多方计算创造了大量的应用场景。公平交换协议作为安全多方计算的应用协议，已广泛应用于各个领域。但随着数据安全和隐私保护问题的日益凸显，公平交换协议出现了许多不足和问题，这将直接影响到公平交换协议的发展和...
- 郭利娟
- 关键词：安全多方计算公平交换协议匿名性
- 公平交换协议的信道可信度形式化验证方法被引量：2
- 2018年
- 公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议的形式化验证方法,重点对信道问题进行定量分析.以一个电子合同签署协议为例,通过概率模型检测的方法对协议建立离散时间马尔可夫链模型,用概率计算树逻辑对协议属性进行描述,通过PRISM概率模型检测工具对协议进行定量的验证和分析.实验结果表明公平交换协议各实体间信道可信度对协议的公平性、有效性和时限性有不同程度的影响,对相应信道进行控制或改善可以提高协议安全性.
- 杨晋吉申涵瑞陈清亮
- 关键词：形式化验证公平交换协议概率模型检测PRISM
- 一种新的基于HECC的多方公平交换协议
- 2017年
- 为了提高多方公平交换协议的安全性和运行效率,提出一种新的基于HECC的多方公平交换协议。利用基于超椭圆曲线双线性对的身份签名方案,提高了协议的运行效率;通过HECC的门限秘密共享技术确保了交易过程中的安全性。最后用改进的Kailar逻辑对新的多方公平交换协议进行形式化分析,结果表明新的多方公平交换协议不仅满足公平性、抗合谋性等,而且具有可追究性。
- 卢宇汪学明
- 关键词：门限秘密共享双线性对KAILAR逻辑
- 一种基于无证书短签名的公平交换协议
- 2016年
- 本文提出一种基于在线可信第三方的公平交换协议。公平交换协议是电子商务活动中的一种非常重要的安全协议。在现代电子商务活动中公平交换协议不仅要保证安全、公平而且需要满足计算速度快,通信代价小的需求。无证书密码学减少了对证书公钥基础设施的需求,降低了证书管理的开销,解决了传统的基于身份的密码学的密钥托管问题。本协议的签名采用了短签名,与传统的签名相比,在达到同等安全级别上,签名的长度极大的缩短从而使签名的效率得到了很大的提高,使得传输和存储的数据量变小。故本协议在一些低带宽,低存储量的移动终端网络环境中同样适用。
- 胡斌王兴芬
- 关键词：公平交换协议电子商务无证书短签名
- 公平交换协议的理性模型及其形式化分析
- 在电子商务或网络应用环境中，参与者具有理性特征（称为理性参与者）。通过在传统的交换协议中引入理性参与者，理性交换协议已经引起过内外学者的关注，是密码学和博弈论两大学科交叉形成的研究热点。考虑参与者的自利性，在博弈论基础上...
- 丁洪
- 关键词：博弈逻辑形式化分析密码协议
- 基于理性秘密共享的多方公平交换协议被引量：1
- 2016年
- 利用理性秘密共享协议,提出一个理性多方公平交换协议。该协议具有有效性、时效性和机密性等性质。相对于其它协议,文章协议需要更少的轮数和消息数且达到了理性公平性。
- 周燮金江浩李延斌马传贵
- 关键词：公平交换秘密共享
- 基于ATL的公平交换协议的形式化验证被引量：3
- 2015年
- 如何对电子商务协议进行分析与验证一直是研究的热点,基于ATL(交替时态逻辑)对电子商务协议中的公平交换协议(Fair Exchange Protocols)进行形式化分析与验证,并选取了其中的一个电子合同签署协议进行形式化验证。用ATL语言来形式化描述公平交换协议,并使用ATS(Alternating Transition Systems,交替转移系统)来为公平交换协议进行形式化建模,再用形式化验证工具MOCHA对公平交换协议的公平性(Fairness)、及时性(Timeliness)和不可滥用性(Abuse-Freeness)进行有效的验证;对验证结果进行分析与讨论,发现了该协议不满足公平性和不可滥用性,不符合设计的要求。
- 李群陈清亮
- 关键词：形式化验证公平交换协议
相关作者
- 王彩芬
- 作品数：147被引量：455H指数：11
- 供职机构：西北师范大学计算机科学与工程学院
- 研究主题：双线性对 签密 签密方案 基于身份 签名方案
- 卿斯汉
- 作品数：260被引量：3,748H指数：32
- 供职机构：中国科学院软件研究所
- 研究主题：网络安全 信息安全 防火墙 计算机网络 操作系统
- 葛建华
- 作品数：631被引量：773H指数：12
- 供职机构：西安电子科技大学
- 研究主题：正交频分复用 信道估计 峰平比 误码率性能 协作通信
- 张振峰
- 作品数：71被引量：297H指数：9
- 供职机构：中国科学院软件研究所
- 研究主题：数字签名 私钥 匿名 安全技术 信息技术
- 王芷玲
- 作品数：4被引量：9H指数：2
- 供职机构：西安电子科技大学通信工程学院综合业务网理论与关键技术国家重点实验室
- 研究主题：公平交换协议 安全协议 分析方法 形式化分析 网络安全协议
