检索结果-维普期刊中文期刊服务平台

一种改进的A(0)协议及其形式化分析被引量：4: 1; 作者蔡永泉朱勇《计算机工程与应用》 CSCD 北大核心 2006年第34期109-111,共3页; 针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析。改进后的协议在保持原协议简洁、高效优点的基础... 展开更多; 关键词安全协议认证协议svo逻辑形式化分析; 在线阅读下载PDF 职称材料

一种新的双方不可否认密码协议及其形式化分析: 2; 作者桑永宣曾吉文《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第5期635-640,共6页; 不可否认服务是电子商务中重要数据和敏感信息通过网络传输的安全基础.不可否认协议正是专门为了提供不可否认服务而设计的网络协议.现有的密码协议很少有满足严格意义上的不可否认性的.我们对现有的一种双方不可否认密码协议进行了分... 展开更多; 关键词不可否认密码协议可信第三方 svo逻辑形式化分析; 在线阅读下载PDF 职称材料

非否认协议中认证保密性的设计与形式化分析: 3; 作者张虹《计算机科学》 CSCD 北大核心 2008年第10期140-142,共3页; 探讨了非否认协议的保密性认证目标,用攻击的方法验证了A(0)协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了修改,提出了NA(0)协议;进一步运用SVO逻辑对NA(0)协议进行了形式化的分析,验证了NA(0)协议满足主体身... 展开更多; 关键词非否认协议认证保密性形式化分析 svo逻辑; 在线阅读下载PDF 职称材料

应用逻辑推导图方法对一个不可否认协议的分析: 4; 作者王涛刘永杰《华南师范大学学报（自然科学版）》 CAS 2008年第1期46-51,共6页; 以之前所提出基于模态逻辑的协议推导分析方法为基础,用Java专家系统外壳(JESS)实现了协议推导分析工具,对一个具体的不可否认协议进行分析,以验证逻辑推导图方法的作用.分析结果清晰地显示各协议内容对协议目标实现的作用,并以此为基... 展开更多; 关键词安全协议形式化分析 svo逻辑自动推导 JESS; 在线阅读下载PDF 职称材料

题名一种改进的A(0)协议及其形式化分析被引量：4: 1; 作者蔡永泉朱勇; 机构北京工业大学计算机学院; 出处《计算机工程与应用》 CSCD 北大核心 2006年第34期109-111,共3页; 基金国家863高技术研究发展计划资助项目(2005AA147090) 北京教委科技发展计划面上项目(KM200610005001)。; 文摘针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析。改进后的协议在保持原协议简洁、高效优点的基础上,增加了抵抗重放和抵抗伪冒攻击的能力。; 关键词安全协议认证协议svo逻辑形式化分析; Keywords security protocol authentication protocol svo logical formal analysis; 分类号 TP393.7 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种新的双方不可否认密码协议及其形式化分析: 2; 作者桑永宣曾吉文; 机构厦门大学数学科学学院; 出处《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第5期635-640,共6页; 文摘不可否认服务是电子商务中重要数据和敏感信息通过网络传输的安全基础.不可否认协议正是专门为了提供不可否认服务而设计的网络协议.现有的密码协议很少有满足严格意义上的不可否认性的.我们对现有的一种双方不可否认密码协议进行了分析和改进.新的双方不可否认密码协议既克服了原协议的不足,能抵制中间人攻击,冒充攻击,重放攻击,又满足公平性,不可否认性等安全性要求;既避免了可信第三方的性能瓶颈问题,保证了传输信息的机密性和完整性,又达到了严格意义上的不可否认性.采用SVO逻辑进一步分析和证明了新协议的双方不可否认性质.; 关键词不可否认密码协议可信第三方 svo逻辑形式化分析; Keywords undeniable cryptographic protocol trusted third party svo logic formal analysis; 分类号 O157.4 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名非否认协议中认证保密性的设计与形式化分析: 3; 作者张虹; 机构潍坊学院计算机与通信工程学院; 出处《计算机科学》 CSCD 北大核心 2008年第10期140-142,共3页; 基金山东省科技攻关项目(2007GG30003003); 文摘探讨了非否认协议的保密性认证目标,用攻击的方法验证了A(0)协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了修改,提出了NA(0)协议;进一步运用SVO逻辑对NA(0)协议进行了形式化的分析,验证了NA(0)协议满足主体身份的认证性和会话密钥的保密性。; 关键词非否认协议认证保密性形式化分析 svo逻辑; Keywords non-repudiation protocol, secrecy,formal analysis,svo logic; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术] TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名应用逻辑推导图方法对一个不可否认协议的分析: 4; 作者王涛刘永杰; 机构华南师范大学计算机学院广东南方电视台; 出处《华南师范大学学报（自然科学版）》 CAS 2008年第1期46-51,共6页; 基金广东省自然科学基金资助项目(06330905); 文摘以之前所提出基于模态逻辑的协议推导分析方法为基础,用Java专家系统外壳(JESS)实现了协议推导分析工具,对一个具体的不可否认协议进行分析,以验证逻辑推导图方法的作用.分析结果清晰地显示各协议内容对协议目标实现的作用,并以此为基础说明协议内容中的冗余.通过与传统协议分析方法进行比较,说明了这一方法可以更清晰地说明协议内容对协议目标的贡献作用.同时,也在分析过程中指出了SVO逻辑协议分析方法对假设的过度依赖性这一缺陷.; 关键词安全协议形式化分析 svo逻辑自动推导 JESS; Keywords security protocol formal analysis svo logic automatic deduction JESS; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料