KAILAR逻辑

作品数：28被引量：62H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：高悦翔彭代渊石曙东李祥文静华更多>>
相关机构：贵州大学西南交通大学解放军信息工程大学四川师范大学更多>>
相关期刊：《电子科技大学学报》《计算机工程与应用》《计算机与信息技术》《软件学报》更多>>
相关基金：国家自然科学基金贵州省自然科学基金湖北省教育厅重点项目西北师范大学校科研和教改项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用与软件x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种新的复合型电子支付协议及其形式化分析
《计算机应用与软件》2018年第6期319-324,共6页丁月 汪学明 
针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击、支付子协议的完整性不能有效保证这些不足,提出一种新的复合型电子支付协议。新协议实现了用户与服务供应商之间的双向认证,通过引入Hash函数和经由第三方信息的转发进一步...
关键词：复合型电子支付协议 双向认证 SVO逻辑 KAILAR逻辑 形式化分析 
一种新的基于HECC的多方公平交换协议
《计算机应用与软件》2017年第2期299-303,共5页卢宇 汪学明 
国家自然科学基金项目(61163049);贵州省自然科学基金项目(黔科合J字[2011]2197号)
为了提高多方公平交换协议的安全性和运行效率,提出一种新的基于HECC的多方公平交换协议。利用基于超椭圆曲线双线性对的身份签名方案,提高了协议的运行效率;通过HECC的门限秘密共享技术确保了交易过程中的安全性。最后用改进的Kailar...
关键词：HECC 门限秘密共享 双线性对 多方公平交换协议 KAILAR逻辑 
一个新的电子支付协议及其形式化分析被引量：1
《计算机应用与软件》2008年第9期93-94,124,共3页徐洋 汪学明 谢晓尧 
贵州省科学技术基金项目(20082125)
在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在克服ISI支付协议缺陷的基础上,提出了一种新的公平可追究电子支付协议。经过使用改进的Kailar逻辑分析验证...
关键词：电子支付协议 可追究性 公平性 KAILAR逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部