不可否认协议

作品数：29被引量：59H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黎波涛李艳平罗军舟张建中任艳丽更多>>
相关机构：陕西师范大学东南大学北京航空航天大学北京邮电大学更多>>
相关期刊：《东南大学学报（自然科学版）》《电子科技文摘》《西安电子科技大学学报》《信息网络安全》更多>>
相关基金：国家自然科学基金陕西省自然科学基金江苏省高技术研究计划项目中国航空科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
不可否认协议分析的扩展ZQZ逻辑方法被引量：1
《密码学报》2022年第1期60-75,共16页韩志耕 石青山 杨鹏 陈耿 范远哲 
国家自然科学基金(72072091);江苏省高校自然科学基金(21KJA520002,16KJB520021);审计信息工程与技术协同创新中心项目。
不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻...
关键词：不可否认协议 形式化分析 ZQZ逻辑 时限性 时间表达式 逆向工程 
基于权重的伪随机密钥选取的无可信第三方不可否认协议
《贵州师范学院学报》2016年第12期22-27,共6页高明 汪学明 
国家自然科学基金项目[2011]61163049;贵州省自然科学基金资助项目黔科合J字[2014]7641
现实中几乎不存在完全可信的第三方,通信双方使用的会话密钥的选取在一定程度上决定了这次通信的安全系数。为了能让协议不依赖于可信第三方,且使得密钥库中的密钥得以在随机选取的情况下得到最充分的利用,提出了一种基于权重的伪随机...
关键词：可信第三方 不可否认 密钥 伪随机 权重 标识 
基于CPN模型的不可否认协议分析被引量：1
《信息安全与通信保密》2011年第8期54-55,58,共3页苏桂平 孙莎 
通过对不可否认协议的语义进行分析,建立有色Petri网(Coloured Petri Net,CPN)中基本元素与安全协议中元素的对应关系,对CPN Tools提供的建模语言(CPN ML)在规范协议描述、简化协议建模及自动检测方面进行扩展,提出了一种基于CPN模型的...
关键词：不可否认协议 有色Petri模型 形式化分析 
密码学可靠的不可否认协议辅助验证方法
《通信学报》2011年第3期18-26,共9页冯超 陈岳兵 张权 唐朝京 
国家自然科学基金资助项目(60872052)~~
提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法。首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算法的证据伪造攻击。其次,指出目前对协议公平性建模方面的缺陷,并结合辅助工具证明:在加密算法满足选择...
关键词：不可否认协议 计算模型 密码学可靠性 辅助验证 
优化的双方不可否认协议的通用模型
《信息网络安全》2009年第10期58-60,共3页李艳平 
陕西省自然科学基础研究计划项目(2007A06)
基于可验证承诺签名技术,提出两个优化的可实现期望传递的双方不可否认协议通用模型,分别用于消息无需保密和可实现消息机密性的应用场景,以方便不同层次的安全需求,最后分析了本文协议的安全性。
关键词：不可否认协议 可验证承诺签名 优化的 
基于身份的公平不可否认协议被引量：9
《通信学报》2009年第7期118-123,共6页刘宏伟 谢维信 喻建平 张鹏 
国家自然科学基金资助项目(60773203);深圳大学自然科学基金资助项目(000016)~~
利用基于身份的密码体制,提出了一种基于身份的一次性盲公钥签名方案,并以此为基础提出了一个新的公平不可否认协议,实现了协议中发送方的匿名性,解决了通信中因发方身份公开而带来的信息内容被猜到以至被故意延迟阅读或拒收的问题,保...
关键词：基于身份密码体制 一次性盲公钥签名 匿名性 公平性 不可否认性 
对Zhou-Gollmann不可否认协议的一种新改进
《计算机应用研究》2008年第6期1809-1811,共3页张青 刁俊峰 温巧燕 陈更力 
国家自然科学基金资助项目(90604023);国家高技术研究发展计划资助项目(2006AA01Z419)
Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人发现协议不具有时限性并提出了一个改进方案,虽然该改进方案解决了协议的时限性问题,但却导致了另一种攻击——拒绝服务攻击。针对这一攻击,提出了一种新的改进方...
关键词：不可否认协议 公平性 时限性 拒绝服务攻击 
一种不可否认协议形式化设计方法
《计算机工程》2008年第4期164-166,共3页刘晶 伏飞 肖军模 陆阳 
国家自然科学基金资助项目(69931040);江苏省自然科学基金资助项目(BK2004015)
针对目前尚无不可否认协议的形式化设计方法,提出一种基于逻辑的不可否认协议形式化设计方法,包括逻辑语言、定理、推理规则及合成规则。协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可...
关键词：不可否认协议 形式化设计 逻辑 可信第三方 
应用逻辑推导图方法对一个不可否认协议的分析
《华南师范大学学报（自然科学版）》2008年第1期46-51,共6页王涛 刘永杰 
广东省自然科学基金资助项目(06330905)
以之前所提出基于模态逻辑的协议推导分析方法为基础,用Java专家系统外壳(JESS)实现了协议推导分析工具,对一个具体的不可否认协议进行分析,以验证逻辑推导图方法的作用.分析结果清晰地显示各协议内容对协议目标实现的作用,并以此为基...
关键词：安全协议 形式化分析 SVO逻辑 自动推导 JESS 
一种基于半可信中心的双方不可否认协议
《信息安全与通信保密》2008年第1期86-88,共3页杨雨奇 潘锐捷 高晓光 
国家基金资助;编号:10377014
文章提出了一种基于半可信中心的双方不可否认协议,由半可信中心来动态产生时间标记,并对发送方身份进行验证,但不对通信双方的消息进行验证,很好地解决了电子商务系统性能的瓶颈—可信中心的计算能力、重放攻击威胁、通信双方密码泄漏...
关键词：半可信中心 动态产生时间标记 身份验证 盲加密 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部