非否认协议

作品数：21被引量：41H指数：3
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：李磊王育民范钰丹董荣胜古天龙更多>>
相关机构：西安电子科技大学解放军信息工程大学上海交通大学中国科学院软件研究所更多>>
相关期刊：《西安交通大学学报》《计算机应用研究》《通信技术》《清华大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划广西壮族自治区自然科学基金国家杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Horn扩展逻辑的非否认协议建模与验证被引量：1
《清华大学学报（自然科学版）》2012年第10期1488-1495,共8页徐畅 李舟军 郭华 张帆 
国家自然科学基金资助项目(60973105;90718017;61170189);高等学校博士学科点专项科研基金资助项目(20111102130003);软件开发环境国家重点实验室自主研究课题资助项目(SKLSDE-2011ZX-03;SKLSDE-2012ZX-11)
该文首次提出使用Horn逻辑扩展模型验证非否认协议的非否认性和公平性的方法;使用Horn逻辑扩展模型的逻辑规则描述非否认协议中消息的传输过程,并基于Horn逻辑扩展模型对协议的非否认性、公平性进行了建模,同时对参与协议的诚实主体、...
关键词：非否认性 公平性 Horn逻辑扩展模型 解形式不动点 
基于ATL的KM非否认协议形式化分析
《贵州大学学报（自然科学版）》2011年第5期84-86,103,共4页田顺仙 龙士工 
贵州省科学技术基金(黔科合J字[2008]2117)
研究ATL逻辑及其在电子商务协议形式化分析中的应用,用ATL逻辑语言对KM协议进行描述与分析,并对协议的各参与方和可信第三方TTP的基本行为进行建模。
关键词：非否认协议 公平性 形式化分析 ATL逻辑 
非否认协议公平性分析的扩展串空间方法被引量：1
《西安交通大学学报》2010年第6期16-20,共5页李磊 陈静 王育民 
国家自然科学基金资助项目(60473027);国家自然科学基金委员会-广东联合基金重点资助项目(U0835004)
针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新定义,进一步通过对子项关系、攻击者迹和自由加密假定的扩展,...
关键词：非否认协议 扩展串空间 协议验证 公平性 
基于扩展CS逻辑的非否认协议形式化分析方法
《计算机科学》2010年第5期49-52,76,共5页王鹃 刘珺 张焕国 
国家自然科学基金(60673071)资助
将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议,针对非否认协议的性质对CS逻辑进行了扩展,给出了描述和分析非否认性以及公平性的方法,并使用扩展后的逻辑对改进的ZG协议进行了分析。在分析过程中,发现了该协议存在对签名...
关键词：非否认协议 CS逻辑 时限性 非否认性 公平性 
自适应多方非否认协议
《网络安全技术与应用》2010年第3期78-80,共3页李磊 王育民 
国家自然科学基金资助项目(60473027);国家自然科学基金委员会-广东联合基金重点项目(U0835004)资助
多方非否认协议可分为两类:发送相同消息给多个接收者的协议和发送不同消息给多个接收者的协议。本文针对两类多方非否认协议在发送不完全相同消息时效率不高的问题,提出了自适应多方非否认协议。协议首先按照接收消息是否相同,将接收...
关键词：非否认 公平交换 自适应 安全协议 
互联网环境下一种新的非否认协议研究被引量：1
《计算机测量与控制》2010年第2期457-458,462,共3页陈桂芳 
应用环境不同对非否认协议的要求不同,在互联网环境中,电子信息的非否认更为重要;无论非否认协议应用于什么服务,都有如下安全需求:第一,收发双方的非否认;第二,减少对第三方的信赖程度;第三,能抵御常见的篡改和重放攻击的安全威胁;第四...
关键词：互联网 公平 非否认 可信第三方 
发送者非否认协议的UC形式化分析
《计算机工程》2009年第20期128-130,共3页杨杰 
国家"973"计划基金资助项目(2003CB317005);国家自然科学基金资助项目(60573002;60703033)
UCSA(Universally Composable Symbolic Analysis)框架结合了形式化分析方法和UC框架。在前人的基础上继续扩展UCSA框架的适用范围。为了使该框架能够分析发送者非否认协议,提出发送者非否认性的理想功能和形式化定义,利用分析执行序列...
关键词：非否认协议 发送者非否认性 形式化分析 UCSA框架 
密钥链多方非否认协议被引量：2
《计算机科学》2009年第10期89-90,97,共3页李磊 谭新莲 王育民 
国家自然科学基金(60473027)资助
多方非否认协议通常仅考虑一轮消息交换的情况,很少讨论相同参与方进行多轮消息交换的情况。基于后者对多方非否认协议进行优化,提出了一种利用密钥链实现的多方非否认协议,以有效减轻TTP存储负担。协议由Initialization,Exchange,Abort...
关键词：安全协议 非否认 多方协议 密钥链 
支持透明离线TTP的多方非否认协议被引量：1
《吉林大学学报（工学版）》2009年第4期1099-1104,共6页李磊 杨加喜 王育民 
国家自然科学基金项目(60473027)
针对电子商务中已提出的多方非否认协议不支持透明TTP,提出了一种新的协议,该协议的非否认证据不需使用TTP的签名,实现了对透明TTP的支持。协议由Exchange、Cancel和Finish三个子协议以及争议处理方案组成,在正常执行情况下,仅需3个消...
关键词：通信技术 安全协议 非否认 多方协议 透明TTP 
一种新的公平非否认协议及其安全性分析
《计算机与信息技术》2009年第Z1期70-71,75,共3页刘春英 龙士工 
贵大自青基合字(2007)009号
本文对Kailar逻辑进行了扩充,并运用扩充的Kailar逻辑指出了CMP1协议存在的安全缺陷。最后,运用扩充的Kailar逻辑证明了改进后新协议的正确性。
关键词：非否认协议 扩充的kailar逻辑 new--cmp1协议 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部