您的位置: 专家智库
>
资助详情>
国家自然科学基金(61262073)
国家自然科学基金(61262073)
- 作品数:10 被引量:28H指数:2
- 相关作者:彭长根杨玉龙周洲张晓培丁洪更多>>
- 相关机构:贵州大学更多>>
- 发文基金:国家自然科学基金贵州省自然科学基金贵州省高层次人才科研条件特助经费项目更多>>
- 相关领域:自动化与计算机技术电子电信理学更多>>
- 具有防伪功能的RFID标签所有权转移安全协议
- 2015年
- 针对供应链中射频识别标签随商品不断流动过程涉及的隐私保护和防伪认证等问题,利用椭圆曲线离散对数问题和传递加密的方法,设计一种兼有防伪功能的所有权转移安全协议。从标签和所有者的巧妙存储入手,贯穿标签鉴权、所有权转移、防伪认证等环节,进一步利用GNY逻辑证明协议的正确性。安全性分析结果表明了该协议能满足所有权转移的安全需求,具有商品防伪认证的辅助功能,与Cheng等方案相比,标签端的计算量明显减少,效率更高。
- 周洲彭长根杨玉龙张晓培
- 关键词:射频识别逻辑
- 基于Edwards曲线的移动RFID安全认证协议被引量:9
- 2014年
- 针对传统的RFID认证协议通常难以适应移动RFID系统的问题,提出了基于Edwards曲线的适用于移动RFID系统的安全认证协议,协议采用Edwards曲线提高了其防侧信道攻击的能力,并应用椭圆曲线离散对数问题实现安全认证。进一步采用可证明安全方法给出了标签和阅读器不可跟踪隐私的安全性证明,通过安全性分析指出协议能更有效抵抗已有各种攻击。与现有的结构类似RFID认证协议相比,该协议扩展性更好,安全性和性能优于其他方案。
- 杨玉龙彭长根周洲张晓培
- 关键词:EDWARDS隐私保护可证明安全
- 一种理性安全协议形式化分析方法及应用被引量:1
- 2014年
- 博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议。于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构r CEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑r ATEL-A,并基于不动点描述r ATEL-A时序算子。然后基于r ATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析。
- 刘海彭长根任祉静
- 关键词:不动点形式化分析
- 基于关联规则的隐私泄露风险评估模型被引量:2
- 2016年
- 传统的信息安全风险评估较少涉及对背景知识关联分析所导致的隐私泄露风险。针对基于关联分析的大数据隐私泄露风险问题,以隐私资产、隐私威胁因子和隐私存储有效时间为要素建立隐私泄露风险指标体系、定义风险计算函数;通过对隐私库的关联规则及频繁项的分析,得出满足最小支持度阈值的关联概率,实现风险函数计算;最后,针对搜索数据进行实例验证,验证表明该模型可以有效评估风险,真实刻画隐私泄露风险大小。
- 邝青青彭长根丁洪
- 关键词:隐私数据隐私泄露FP-GROWTH风险评估
- 基于同态加密的统计数据处理被引量:2
- 2015年
- 数据挖掘和数据统计技术在为人们带来便利的同时也对用户隐私造成了一定的威胁,针对数据挖掘中的个人隐私泄漏问题,利用Paillier算法和RSA算法设计了一个全同态加密算法,基于该算法提出了一种数据统计方案,该方案的使用能够保证在只需对用户数据的密文操作的情况下便能完成数据统计。最后将该方案应用于医疗数据统计,并进行了模拟实现,实现结果表明可以利用全同态加密技术对数据密文进行统计操作。
- 李雪松彭长根李明伟李贵珍陶江航
- 关键词:JAVA语言隐私信息
- 混合策略下的理性交换协议模型
- 2016年
- 在小额支付的交换协议中,通过TTP保证协议公平性所需代价往往高于协议本身价值,在这种情况下,理性交换协议是一种合适的选择。应用扩展式博弈混合策略理论对交换协议进行了建模,引入熵函数对交换过程中的公平性进行了描述;在保证过程公平性原则的前提下,运用混合策略纳什均衡概念形式化定义了理性公平性,并在此模型基础上构造了一个新的理性交换协议;对协议的可追究性、理性公平性进行了证明,结果表明该协议能达到混合策略纳什均衡。该协议无须可信第三方,实现了理性公平性并对惩罚值进行了优化,具有更好的适应性。
- 丁洪彭长根邝青青
- 关键词:过程公平纳什均衡
- 基于社会承诺机制的理性同时生效签名方案及其公平性被引量:1
- 2015年
- 同时生效签名协议是解决公平性问题的一个有效途径,但若考虑自利的参与者,掌握关键数的发起方就会利益最大化地决定是否执行协议,从而导致公平性难以满足。针对该问题,引入新的社会承诺机制,设计一个含理性参与者的同时生效签名协议,该协议满足正确性、不可伪造性、模糊性。进一步给出理性同时生效签名方案的公平性和稳定性定义,从纳什均衡的角度,采用扩展式博弈证明协议达到理性公平,从子博弈完美均衡角度,证明协议具有稳定性。利用博弈论方法解决同时生效签名中发起方占有额外权限的不公平性问题。
- 任祉静彭长根刘海
- 关键词:同时生效签名博弈论