KAILAR逻辑

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种新的复合型电子支付协议及其形式化分析
《计算机应用与软件》2018年第6期319-324,共6页丁月 汪学明 
针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击、支付子协议的完整性不能有效保证这些不足,提出一种新的复合型电子支付协议。新协议实现了用户与服务供应商之间的双向认证,通过引入Hash函数和经由第三方信息的转发进一步...
关键词：复合型电子支付协议 双向认证 SVO逻辑 KAILAR逻辑 形式化分析 
一种新的基于HECC的多方公平交换协议
《计算机应用与软件》2017年第2期299-303,共5页卢宇 汪学明 
国家自然科学基金项目(61163049);贵州省自然科学基金项目(黔科合J字[2011]2197号)
为了提高多方公平交换协议的安全性和运行效率,提出一种新的基于HECC的多方公平交换协议。利用基于超椭圆曲线双线性对的身份签名方案,提高了协议的运行效率;通过HECC的门限秘密共享技术确保了交易过程中的安全性。最后用改进的Kailar...
关键词：HECC 门限秘密共享 双线性对 多方公平交换协议 KAILAR逻辑 
面向第三方支付平台的移动安全交易协议研究
《电子质量》2015年第2期18-28,共11页孙映雪 
为提升移动支付交易安全性和质量,该文致力于设计一种能够在移动终端上搭载的面向第三方支付平台的安全交易协议模型STPT。该协议保留了SET协议及MSET协议双重签名的特性,用对称算法替换了大部分非对称算法环节,显著提升了计算效率,降...
关键词：第三方平台 电子支付 安全 协议 KAILAR逻辑 
面向现场支付的MCSP模式及其支付协议被引量：1
《小型微型计算机系统》2014年第10期2319-2324,共6页常朝稳 魏彦芬 王帅 
针对一机仿真多卡的应用需求,基于密码技术设计了一个面向现场模式、支持多卡仿真的NFC(Near Field Communication,近距离通信)智能手机移动支付安全模式MCSP(Multiple Cards on a Single Phone,一机多卡),并面向MCSP模式设计了一个安...
关键词：移动支付 NFC技术 支付协议 KAILAR逻辑 
一种适用于移动环境的公平移动支付协议被引量：2
《铁道学报》2013年第11期51-59,共9页高悦翔 彭代渊 汤鹏志 
国家自然科学基金(61240025);四川省教育厅基金(13ZB0152)
针对移动环境中网络及计算条件受限的情况,在考虑有效性和支付效率的基础上,设计了一个适应于移动环境的公平移动支付协议。该协议由认证、支付、恢复、结算四个子协议构成。在认证协议中通过基于Hash函数的动态ID机制满足了双向认证、...
关键词：移动支付 HASH链 变色龙Hash函数 公平性 KAILAR逻辑 
认证邮件协议的安全性分析与改进被引量：2
《电子科技大学学报》2013年第2期300-305,共6页高悦翔 彭代渊 闫丽丽 
四川省教育厅重点项目基金(10ZA009)
认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如...
关键词：认证邮件协议 组合协议分析 KAILAR逻辑 可追究性 
一个多方认证邮件协议的分析与改进被引量：1
《计算机科学》2012年第11期58-61,97,共5页高悦翔 彭代渊 
多方认证邮件协议被广泛用于在多方网络环境中传递具有保密性、不可否认性、公平性、无排斥性以及时限性性的电子邮件。指出了一个典型的多方认证邮件协议存在不满足公平性、可追究性以及个别不诚实参与方行为导致整个协议执行失败等安...
关键词：多方认证邮件协议 可追究性 公平性 签密 KAILAR逻辑 
Kailar逻辑的改进及应用被引量：2
《微型机与应用》2012年第3期56-58,共3页翁艳琴 石曙东 解颜铭 
湖北省自然科学基金(2006ABA056);湖北省教育厅重点项目(D20092203);湖北省教育厅青年项目(Q20102503)
综合Kailar逻辑和SVO逻辑两种协议分析方法的优点,借助SVO逻辑的思想对Kailar逻辑进行了改进,使其更好地应用于不可否认协议的可追究性分析和设计。同时,将改进后的Kailar逻辑应用在类NG协议的分析中,分析结果证明了该协议可追究方面的...
关键词：逻辑系统 KAILAR逻辑 SVO逻辑 安全协议 
Kim公平非否认协议的改进
《计算机工程与应用》2009年第4期102-104,148,共4页潘菊 朱建明 
国家自然科学基金No.60673162;北京市自然科学基金No.4082028;中央财经大学研究生创新基金重点资助项目No.07-Z-014~~
在介绍Kim公平非否认协议的基础上,分析了LSG协议,指出协议中存在因消息重放而导致不公平的情况,提出了一个改进后的协议,并用新的Kailar逻辑对新协议的公平性和可追究性进行了分析。
关键词：公平非否认协议 KAILAR逻辑 协议分析 
一种新的公平非否认协议及其安全性分析
《计算机与信息技术》2009年第Z1期70-71,75,共3页刘春英 龙士工 
贵大自青基合字(2007)009号
本文对Kailar逻辑进行了扩充,并运用扩充的Kailar逻辑指出了CMP1协议存在的安全缺陷。最后,运用扩充的Kailar逻辑证明了改进后新协议的正确性。
关键词：非否认协议 扩充的kailar逻辑 new--cmp1协议 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部