BAN类逻辑

作品数：16被引量：88H指数：3
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：李益发卿斯汉邓帆邓少锋赵亚群更多>>
相关机构：解放军信息工程大学山东大学中国人民解放军信息工程大学中国科学院软件研究所更多>>
相关期刊：《云南大学学报（自然科学版）》《密码学报（中英文）》《信息安全与通信保密》《清华大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于数理逻辑的安全协议本征逻辑分析方法
《密码学报（中英文）》2024年第3期588-601,共14页李益发 孔雪曼 耿宇 沈昌祥 
保密通信重点实验室基金课题(61421030107012102)。
本文提出了一种基于数理逻辑的安全协议本征逻辑分析方法—SPALL方法.该方法在一阶谓词逻辑的基础上,增加了基于密码学的若干新语义,包括新的密码函数项、与密码学和安全协议分析相关的一阶谓词和二阶谓词等,并给出了十三类二十九条公理...
关键词：安全协议 协议分析 BAN类逻辑 SPALL方法(SPALL逻辑) 本征逻辑 
Otway-Rees协议改进及安全分析被引量：1
《信息工程大学学报》2014年第5期525-530,共6页王君 昝亚洲 刘爱森 屈萌 
国家973计划资助项目(2012CB315905;2012CB315901)
选取Otway-Rees协议作为研究对象,用一种改进的BAN类逻辑――安全协议分析本征逻辑(SPALL)作为协议分析工具展开研究。首先对SPALL系统进行扩展,针对Otway-Rees协议存在的缺陷,提出了改进方案。为了更好地描述改进协议,用SPALL系统对其...
关键词：安全协议 BAN类逻辑 形式化方法 OTWAY-REES协议 
BAN类逻辑的两个缺陷分析
《电脑知识与技术（过刊）》2011年第3X期1761-1763,共3页王倩 王龙葛 
BAN类逻辑是安全协议形式化分析的一种重要方法。BAN类逻辑都是以BAN逻辑为基础发展起来的。通过对BAN逻辑的研究得出了BAN类的两个重要缺陷,缺少环境模型和缺少完整性分析,并指出了下一步研究的方向。
关键词：安全协议 形式化分析 BAN类逻辑 环境模型 完整性 
基于BAN类逻辑的协议自动化分析工具设计
《科技信息》2010年第09X期10-11,7,共3页邓媛劼 王倩 
河南省科技攻关(No.0524220044;0624260017;072102210029)
BAN类逻辑广泛应用于安全协议分析,具有简洁性和易用性。使用Prolog人工智能语言设计开发了基于BAN类逻辑协议的自动化分析工具,实验表明工具能够严谨、高效地分析安全协议的正确性及认证性等安全属性。
关键词：BAN类逻辑 自动化分析工具 PROLOG语言 
BAN逻辑及BAN类逻辑研究被引量：2
《河南科技》2010年第5期52-53,共2页苌进 
一、引言 当用户通过网络进行信息交互时，网络通信的安全性成为人们首要关心的问题。密码协议是建立在密码体制基础上的交互通信协议，利用密码协议可实现密钥的分配和交换、身份认证等。它与普通通信协议的主要区别在于使用了密码技术。
关键词：BAN类逻辑 BAN逻辑 信息交互 网络通信 通信协议 密码协议 密码体制 身份认证 
对称环境下安全协议组件的安全属性分析
《信息安全与通信保密》2009年第8期141-144,共4页邓帆 邓少锋 李益发 
通信技术重点实验室基金资助项目（编号：9140C1103040902）.
文章基于一种模块化的安全协议设计方法，定义了基本消息和基件的概念后，从研究安全协议的基件开始，将不同的基件适当复合后可得到具有特殊安全属性的组件，并运用BAN类逻辑对这些组件进行了形式化的分析。这些具有特殊安全属性的组...
关键词：安全协议 设计 逻辑分析 BAN类逻辑 组件 
基于CPK的IKE协议的改进被引量：2
《微计算机信息》2007年第27期104-106,共3页郭亚梅 杨尚森 李益发 
国家863基金资助(2006AA01Z425)
本文在简要介绍和分析评述IPsec协议的基础上,基于CPK系统提出了对IPsec协议的改进,并对改进的协议利用逻辑化方法作了详细地安全性分析,指出了改进的协议在安全性和效率等方面所具有的优势,同时对应用环境作了说明。
关键词：IPSEC协议 IKE CPK(组合公钥) 协议安全性分析 BAN类逻辑 
一种可分析保密性与认证性的模态逻辑
《计算机工程》2007年第20期30-33,共4页赵华伟 秦静 
国家"863"计划基金资助项目(2003AA141120;2004AA001260);山东省自然科学基金资助项目(Y2003A03)
提出了一种新的基于信念的模态逻辑——MBL逻辑,来分析由单向函数构造的对称钥认证交换协议的安全性。该逻辑有严格的证明体系,可证明推理规则在其语义模型下的正确性,说明该逻辑具有合理性。其推理规则不仅能对单向函数保护的消息进行...
关键词：模态逻辑 MBL逻辑 BAN类逻辑 会话密钥 
BAN类逻辑的进一步研究被引量：3
《微计算机信息》2006年第06X期84-86,共3页陈更力 张青 
国家自然科学基金项目编号:No.60373059
BAN类逻辑是近年来主要的密码协议分析工具之一,在分析了BAN逻辑存在的各类缺陷并用实例详细说明的基础上,研究和归纳了各种扩展的BAN类逻辑的特点和他们共同的缺陷,指出了BAN类逻辑应该改进的方面以及今后进一步的研究方向。
关键词：密码协议 形式化分析 BAN类逻辑 
GNY逻辑系统可靠性分析
《信息工程大学学报》2006年第2期132-136,共5页荣昆 李益发 付吉 
国家973计划资助项目(035801);河南省自然科学基金资助项目(SP200304098)
网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议的安全性。人们提出了多种安全协议的分析方法,BAN类逻辑是其中重要的一种,GNY逻辑就是一种BAN类逻辑。而认证逻辑本身的可靠性关系到分析结果的正确性。文章通过对GNY...
关键词：安全协议 可靠性 GNY逻辑 BAN类逻辑 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部