您的位置: 专家智库 > >

贵州省自然科学基金(20092113)

作品数:9 被引量:23H指数:3
相关作者:彭长根杨玉龙周洲张晓培刘海更多>>
相关机构:贵州大学更多>>
发文基金:国家自然科学基金贵州省自然科学基金贵州省高层次人才科研条件特助经费项目更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 9篇中文期刊文章

领域

  • 7篇自动化与计算...
  • 4篇电子电信

主题

  • 2篇隐私
  • 2篇有权
  • 2篇射频识别
  • 2篇双线性
  • 2篇双线性对
  • 2篇所有权
  • 2篇所有权转移
  • 2篇密码
  • 2篇可证明安全
  • 2篇公平
  • 2篇博弈
  • 2篇博弈论
  • 1篇动点
  • 1篇信息熵
  • 1篇形式化
  • 1篇形式化分析
  • 1篇隐私保护
  • 1篇隐私信息
  • 1篇社会
  • 1篇同时生效签名

机构

  • 9篇贵州大学

作者

  • 9篇彭长根
  • 3篇张晓培
  • 3篇周洲
  • 3篇杨玉龙
  • 3篇刘海
  • 2篇原志龙
  • 2篇王伟茹
  • 1篇刘荣飞
  • 1篇吕桢
  • 1篇李雪松

传媒

  • 4篇贵州大学学报...
  • 2篇计算机应用研...
  • 1篇通信学报
  • 1篇计算机工程与...
  • 1篇信息安全与技...

年份

  • 1篇2016
  • 3篇2015
  • 3篇2014
  • 2篇2013
9 条 记 录,以下是 1-9
排序方式:
基于密文策略的属性签密方案被引量:1
2013年
由于签密技术不仅能同时达到加密与签名的目的,而且其计算量及通信开销都低于传统的"先签名后加密",同时为满足签密后的敏感数据只能被拥有某些特定属性的群组访问,提出基于密文策略的属性签密方案,该方案能同时满足机密性与认证性,并且通过访问控制技术可灵活控制用户的解密能力,与同类方案不同,本方案使得不同用户解密同一密文时会得到不同的结果,达到分级解密的目的。
王伟茹彭长根原志龙
关键词:签密双线性对
一种理性安全协议形式化分析方法及应用被引量:1
2014年
博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议。于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构r CEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑r ATEL-A,并基于不动点描述r ATEL-A时序算子。然后基于r ATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析。
刘海彭长根任祉静
关键词:不动点形式化分析
具有防伪功能的RFID标签所有权转移安全协议
2015年
针对供应链中射频识别标签随商品不断流动过程涉及的隐私保护和防伪认证等问题,利用椭圆曲线离散对数问题和传递加密的方法,设计一种兼有防伪功能的所有权转移安全协议。从标签和所有者的巧妙存储入手,贯穿标签鉴权、所有权转移、防伪认证等环节,进一步利用GNY逻辑证明协议的正确性。安全性分析结果表明了该协议能满足所有权转移的安全需求,具有商品防伪认证的辅助功能,与Cheng等方案相比,标签端的计算量明显减少,效率更高。
周洲彭长根杨玉龙张晓培
关键词:射频识别逻辑
一种安全可追责的基于身份密码方案
2013年
可追责的基于身份密码体制可以缓解基于身份密码体制的密钥托管问题:仲裁者根据获取的非法私钥判断其是否由私钥生成器恶意生成。本文针对一种可行的可追责的基于身份密码方案,将其中的零知识证明改为用双线性对运算实现;以此为基础,结合一次性签名方案提出一种具有IND-sID-CCA安全性的可追责的基于身份密码方案,并给出相关证明。
原志龙彭长根王伟茹
关键词:基于身份双线性对可证明安全
基于Edwards曲线的移动RFID安全认证协议被引量:9
2014年
针对传统的RFID认证协议通常难以适应移动RFID系统的问题,提出了基于Edwards曲线的适用于移动RFID系统的安全认证协议,协议采用Edwards曲线提高了其防侧信道攻击的能力,并应用椭圆曲线离散对数问题实现安全认证。进一步采用可证明安全方法给出了标签和阅读器不可跟踪隐私的安全性证明,通过安全性分析指出协议能更有效抵抗已有各种攻击。与现有的结构类似RFID认证协议相比,该协议扩展性更好,安全性和性能优于其他方案。
杨玉龙彭长根周洲张晓培
关键词:EDWARDS隐私保护可证明安全
基于同态加密的统计数据处理被引量:2
2015年
数据挖掘和数据统计技术在为人们带来便利的同时也对用户隐私造成了一定的威胁,针对数据挖掘中的个人隐私泄漏问题,利用Paillier算法和RSA算法设计了一个全同态加密算法,基于该算法提出了一种数据统计方案,该方案的使用能够保证在只需对用户数据的密文操作的情况下便能完成数据统计。最后将该方案应用于医疗数据统计,并进行了模拟实现,实现结果表明可以利用全同态加密技术对数据密文进行统计操作。
李雪松彭长根李明伟李贵珍陶江航
关键词:JAVA语言隐私信息
供应链环境下UC安全的RFID所有权转移协议被引量:5
2016年
针对供应链环境下无线射频识别(RFID)标签流动所涉及的节点隐私和供应链可见性管理问题,定义了供应链环境下RFID标签所有权转移的安全需求,提出了通用可组合安全模型,并基于所提出的RFID认证协议设计了一个能实现该模型的RFID标签所有权转移协议。安全性证明和效率分析表明该协议通过利用授权机制和哈希函数的单向性,很好地解决了可见性和不可追踪性问题,采用索引机制和标签端轻量级的计算方式提高了执行效率。与同类方案相比,该协议降低了标签端的计算量且安全性更高。
周洲彭长根杨玉龙张晓培
关键词:供应链无线射频识别所有权转移
基于社会承诺机制的理性同时生效签名方案及其公平性被引量:1
2015年
同时生效签名协议是解决公平性问题的一个有效途径,但若考虑自利的参与者,掌握关键数的发起方就会利益最大化地决定是否执行协议,从而导致公平性难以满足。针对该问题,引入新的社会承诺机制,设计一个含理性参与者的同时生效签名协议,该协议满足正确性、不可伪造性、模糊性。进一步给出理性同时生效签名方案的公平性和稳定性定义,从纳什均衡的角度,采用扩展式博弈证明协议达到理性公平,从子博弈完美均衡角度,证明协议具有稳定性。利用博弈论方法解决同时生效签名中发起方占有额外权限的不公平性问题。
任祉静彭长根刘海
关键词:同时生效签名博弈论
基于极大熵原理的理性公平交换协议被引量:4
2014年
鉴于理性交换协议是一个动态博弈模型,在完全不完美动态博弈中,力图用极大熵原理来解决理性参与者的策略行为推断问题。扩展了一个基于信息熵的理性交换协议模型,通过引入期望收益函数和期望均衡的方法,给出理性交换协议的公平性描述;基于最大熵原理构造了一种新的理性交换协议;证明该协议的安全性,利用博弈树的方法对整个交换过程进行分析并给出了理性公平性证明,结果表明该协议能达到期望均衡。协议交换过程中无须可信第三方的参与,该协议实现了理性公平性且具有更好的适应性。
吕桢彭长根刘海刘荣飞
关键词:最大熵原理信息熵博弈论
共1页<1>
聚类工具0