贵州省高层次人才科研条件特助经费项目(TZJF-2008-33)
- 作品数:13 被引量:32H指数:4
- 相关作者:彭长根彭延国杨玉龙周洲张晓培更多>>
- 相关机构:贵州大学贵州民族大学贵州理工学院更多>>
- 发文基金:贵州省高层次人才科研条件特助经费项目贵州省自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 一种基于身份代理盲签名方案被引量:2
- 2010年
- 基于身份的代理盲签名是一种特殊的数字签名,是现代密码学领域中一个非常重要的分支,也是信息安全方向一个重要的研究内容。本文在Cha和Cheon的签名方案和基于身份的代理盲签名方案的基础上,结合代理签名和盲签名,构造一种基于身份的代理盲签名方案,并对安全性进行分析。
- 杨思根彭长根
- 关键词:基于身份密码体制数字签名盲签名代理盲签名
- 基于极大熵原理的理性公平交换协议被引量:4
- 2014年
- 鉴于理性交换协议是一个动态博弈模型,在完全不完美动态博弈中,力图用极大熵原理来解决理性参与者的策略行为推断问题。扩展了一个基于信息熵的理性交换协议模型,通过引入期望收益函数和期望均衡的方法,给出理性交换协议的公平性描述;基于最大熵原理构造了一种新的理性交换协议;证明该协议的安全性,利用博弈树的方法对整个交换过程进行分析并给出了理性公平性证明,结果表明该协议能达到期望均衡。协议交换过程中无须可信第三方的参与,该协议实现了理性公平性且具有更好的适应性。
- 吕桢彭长根刘海刘荣飞
- 关键词:最大熵原理信息熵博弈论
- 一个无双线性对计算的基于证书的签名方案
- 2012年
- 一般的基于证书签名方案的构造基于双线性对计算,计算效率低。为解决此问题,作者提出了一个无双线性对计算的基于证书高效签名方案,并给出了正确性和安全性分析。通过与其他方案的效率分析对比,因本方案无需知识证明,无双线性对计算,效率更高。
- 彭延国彭长根吕桢
- 基于Edwards曲线的移动RFID安全认证协议被引量:9
- 2014年
- 针对传统的RFID认证协议通常难以适应移动RFID系统的问题,提出了基于Edwards曲线的适用于移动RFID系统的安全认证协议,协议采用Edwards曲线提高了其防侧信道攻击的能力,并应用椭圆曲线离散对数问题实现安全认证。进一步采用可证明安全方法给出了标签和阅读器不可跟踪隐私的安全性证明,通过安全性分析指出协议能更有效抵抗已有各种攻击。与现有的结构类似RFID认证协议相比,该协议扩展性更好,安全性和性能优于其他方案。
- 杨玉龙彭长根周洲张晓培
- 关键词:EDWARDS隐私保护可证明安全
- 一种改进的无可信第三方的两方安全议价协议
- 2009年
- 提出一种基于Paillier同态公钥密码体制的两方安全议价协议,该协议在保障出价信息的私密性和结果正确的前提下,防止了议价成功后,双方对议价的篡改从而欺骗对方,并且不需要第三方的参与,最终的成交价格均可由议价双方计算得到。通过对复杂度和安全性的分析可知,该协议具有较高的执行效率和安全特性。
- 石伟敏彭长根
- 关键词:议价
- 基于信誉机制的加权秘密共享方案
- 2016年
- 针对传统秘密共享总是基于参与者的权力或地位分配权重的问题,考虑参与者的信誉值,把参与者的权重值与其信誉值联系起来,基于信誉值对参与者的权重进行重新分配,提出了基于信誉机制的权重分配函数,并以此为基础构建了一个基于信誉机制的加权秘密共享方案,分析表明重构算法中的重构邀请机制可以有效地促使参与者同意送行秘密重构,并且方案可以有效为每个参与者分配权重.
- 徐志聘彭长根张豹
- 关键词:信誉值
- 一种理性安全协议的博弈逻辑描述模型被引量:1
- 2015年
- 博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。但在理性环境中,由于参与者对知识的自利性,ATL和ATEL都不能形式化分析与验证理性安全协议。因此在CEGS中引入效用函数和偏好关系知识,得到新的rCEGS,并在合作模态算子《Γ》中加入行为ACT参数,提出新的可形式化分析理性安全协议的交替时序认知逻辑rATEL-A。然后运用rATEL-A构建两方理性安全协议的形式化模型,并基于rCEGS的等价扩展式博弈,对具体的两方理性交换协议进行形式化分析,结果表明构建的形式化模型可以有效地形式化分析理性安全协议的正确性、理性安全性和理性公平性。
- 刘海彭长根张弘任祉静
- 关键词:博弈论形式化分析
- 具有防伪功能的RFID标签所有权转移安全协议
- 2015年
- 针对供应链中射频识别标签随商品不断流动过程涉及的隐私保护和防伪认证等问题,利用椭圆曲线离散对数问题和传递加密的方法,设计一种兼有防伪功能的所有权转移安全协议。从标签和所有者的巧妙存储入手,贯穿标签鉴权、所有权转移、防伪认证等环节,进一步利用GNY逻辑证明协议的正确性。安全性分析结果表明了该协议能满足所有权转移的安全需求,具有商品防伪认证的辅助功能,与Cheng等方案相比,标签端的计算量明显减少,效率更高。
- 周洲彭长根杨玉龙张晓培
- 关键词:射频识别逻辑
- 供应链环境下UC安全的RFID所有权转移协议被引量:5
- 2016年
- 针对供应链环境下无线射频识别(RFID)标签流动所涉及的节点隐私和供应链可见性管理问题,定义了供应链环境下RFID标签所有权转移的安全需求,提出了通用可组合安全模型,并基于所提出的RFID认证协议设计了一个能实现该模型的RFID标签所有权转移协议。安全性证明和效率分析表明该协议通过利用授权机制和哈希函数的单向性,很好地解决了可见性和不可追踪性问题,采用索引机制和标签端轻量级的计算方式提高了执行效率。与同类方案相比,该协议降低了标签端的计算量且安全性更高。
- 周洲彭长根杨玉龙张晓培
- 关键词:供应链无线射频识别所有权转移
- 空间约束的基于属性和角色的访问控制研究被引量:1
- 2010年
- 传统的访问控制模型难以满足空间环境下的需求。本文提出了一个空间约束的基于属性和角色的空间数据访问控制模型(Spatial-ARBAC),利用网络本体语言(OWL DL)对模型本体进行了描述并对空间约束进行了形式化定义。系统根据用户的属性和资源的属性动态分配角色,实现了细粒度的、灵活的空间约束的访问控制。并将其应用到GIS城市消防系统。
- 席睿彭长根
- 关键词:空间数据OWLDL