公共文化服务平台

共 9 条记录，以下是 1-9

全选清除导出

排序方式：

不完美信息扩展博弈下的理性秘密共享协议: 2013年; 主要研究理性秘密共享协议过程中,由于参与者的序贯行动所引起的不可置信威胁的问题.给出一个更加通用的满足计算k-resilient纳什均衡的(m,n)理性秘密共享协议(k; 孙富玲周展飞俞扬; 关键词：秘密共享博弈论

Kailar逻辑的缺陷被引量：58: 1999年; 近年来 ,电子商务协议的设计逐渐成为热点 .可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力 .缺乏可追究性 ,电子交易容易引起争议 .因此 ,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法 ,简称 Kailar逻辑 .该文指出这一逻辑的缺陷 :(1)不能分析协议的公平性 ;(2 )对协议语句的解释及初始化假设是非形式化的 ,存在局限性 ;(3)无法处理密文 .; 周典萃卿斯汉周展飞; 关键词：可追究性电子商务 KAILAR逻辑 INTERNET网

安全协议中的若干基础问题研究: 冯登国邓燚张振峰薛锐徐静李红达姚刚徐海霞周展飞吕克伟张文涛; 项目主要研究安全协议中的基础问题，所属科学技术领域为计算机信息技术。安全协议是建立在密码算法基础之上的高互通协议，为计算机网络和通信系统的安全需求提供直接解决方案，是构建安全信息系统的基本要素。零知识证明作为基础协议广泛...; 关键词：; 关键词：密码学安全协议密码算法

标准信道下的抗敌手的理性秘密共享方案被引量：2: 2016年; 有关理性秘密共享的研究指出,若参与者是想要最大化个人利益的理性参与者,则将无动机在协议中共享份额,从而导致秘密共享的失败.本文研究内容是,在秘密共享中,n个参与者是理性参与者或者是行为任意的恶意参与者.先前考虑恶意参与者的理性秘密共享的相关研究都需要广播信道,这在现实中是很难实现的.本文给出的理性秘密共享方案首次做到了能够在标准信道下抵抗恶意敌手.方案通过多轮交互,真实轮未知的机制,导致偏离的收益不会比遵循协议的收益高,从而使得理性参与者不会选择偏离协议.在协议进行中,方案使用可验证的随机函数来检测恶意参与者的偏离,同时使用基于拜占庭一致的广播协议来对此偏离达成一致并在后续协议中屏蔽该参与者,从而避免了恶意参与者的持续伤害.同时给出了一种新的均衡概念,即计算意义下关于敌手结构的序贯均衡,并给出了相关证明.在此均衡概念衡量下,恶意敌手不能阻止理性参与者重组秘密,而且对于恶意敌手的任意行为,理性参与者没有动机去偏离协议,保证了协议的顺利进行.; 祁冠杰周展飞; 关键词：广播协议

电子商务协议的公平性被引量：18: 2000年; 本文指出在分析电子商务协议公平性的过程中 ,不仅要考虑参与协议的主体被动攻击的情况 ,同时还要考虑参与协议的主体进行主动攻击的情况 .在此基础上 ,本文对Kailar逻辑进行了改进 ,使之能够分析协议的可追究性和公平性 .; 周展飞周典萃王贵林卿斯汉; 关键词：电子商务协议

循环群上理想同态密钥共享体制被引量：4: 1998年; 对于m阶循环群G和给定的存取结构A ,利用与A相应的拟阵在环Zm上的表示 ,给出了A为G 理想同态的充要条件 .进而 ,利用上述结果 ,给出图存取结构为G; 刘木兰周展飞; 关键词：循环群密钥空间

认证协议的一些新攻击方法被引量：40: 2001年; 给出了针对 3个认证协议的 6种新攻击方法 ,分析了这些攻击产生的原因。; 王贵林卿斯汉周展飞; 关键词：密码协议密码学

一种分析电子商务协议的新工具被引量：75: 2001年; 提出了一种新的形式化分析方法 ,可用于分析电子商务协议 .与 Kailar逻辑相比 ,它有 3个优点 :(1)能够有效地分析协议的公平性 ,在进行公平性分析时充分考虑了通信信道的可靠性 ;(2 )初始化拥有集合只依赖于环境 ,不需要人为地引入初始化假设 ;(3)增加了密文理解规则 ,能够有效地分析包含有签过名的加密公式的消息 .; 周典萃卿斯汉周展飞; 关键词：可追究性逻辑分析网上交易电子商务协议

理想同态密钥共享体制的判别算法: 2000年; 对于m阶循环群G和给定的存取结构A ,利用适合A的拟阵在环Zm 上的良好表示 ,给出了A为G 理想同态的判别算法 .; 周展飞

全选清除导出

共1页<1>

周展飞