检索结果-南通市图书馆

基于BAN逻辑的SIP网络认证协议安全性研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

高技术通讯 2010年第11期20卷 1108-1114页

作者：张兆心杜跃进方滨兴张宏莉哈尔滨工业大学国家计算机网络与信息安全重点实验室哈尔滨150001

利用BAN逻辑对会话初始化协议(SIP)网络采用的超文本传输协议(HTTP)摘要认证协议进行了形式化分析和推导。通过严格的逻辑推导,证明HTTP摘要认证协议存在不足,以及由此产生的伪装攻击。通过对逻辑推理结果和推导过程的分析,针对BAN逻辑... 详细信息

利用BAN逻辑对会话初始化协议(SIP)网络采用的超文本传输协议(HTTP)摘要认证协议进行了形式化分析和推导。通过严格的逻辑推导,证明HTTP摘要认证协议存在不足,以及由此产生的伪装攻击。通过对逻辑推理结果和推导过程的分析,针对BAN逻辑提出增加消息抗否认性规则和消息新鲜性传递规则,增强了BAN逻辑的逻辑推理能力;针对HTTP摘要认证协议提出增加数字签名、公私钥机制、双向认证和密钥协商,提高了HTTP摘要认证协议的安全性。

关键词： BAN逻辑 SIP HTTP摘要认证协议双向认证

基于矩阵理论的RFID认证协议设计及BAN逻辑分析

在线全文

学校读者我要写书评

暂无评论

计算机应用 2013年第7期33卷 1854-1857页

作者：李红静刘丹电子科技大学电子科学技术研究院成都611731

针对目前提出的射频识别(RFID)认证协议大多不能抵抗重放攻击和数据篡改攻击的问题,提出了一种能抵抗这些攻击的低成本安全协议——基于矩阵的安全协议(MSP)。该协议基于矩阵理论的矩阵乘法和伪随机数生成器(PRNG),实现所需门电路不超过... 详细信息

针对目前提出的射频识别(RFID)认证协议大多不能抵抗重放攻击和数据篡改攻击的问题,提出了一种能抵抗这些攻击的低成本安全协议——基于矩阵的安全协议(MSP)。该协议基于矩阵理论的矩阵乘法和伪随机数生成器(PRNG),实现所需门电路不超过1000,满足低成本的要求。与基于同等算法的已有协议分析得出MSP大大降低了标签存储量和计算复杂度。最后,经BAN逻辑分析证明MSP实现了安全认证。因此,MSP非常适用于RFID环境。

关键词：矩阵理论射频识别认证协议 BAN逻辑

在线全文

学校读者我要写书评

暂无评论

基于身份的TLS协议及其BAN逻辑分析

计算机工程 2011年第1期37卷 142-144,148页

作者：于代荣杨扬马炳先刘明军王世贤北京科技大学信息工程学院北京100083 济南大学信息科学与工程学院济南250022

基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对... 详细信息

基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对其进行形式化分析,证明IB_TLS协议是安全的。

关键词：基于身份的密码体制 IB TLS协议 BAN逻辑 TLS协议

在线全文

学校读者我要写书评

暂无评论

BAN逻辑的可靠性分析与改进

计算机工程 2012年第17期38卷 110-115页

作者：王正才许道云王晓峰唐郑熠韦立贵州大学计算机科学与信息学院贵阳550025

BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进... 详细信息

BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。

关键词： BAN逻辑安全协议形式化非形式化消息新鲜性推理

基于口令认证的RFID系统安全协议及其BAN逻辑分析

在线全文

学校读者我要写书评

暂无评论

电信科学 2008年第12期24卷 44-48页

作者：蔡庆玲詹宜巨中山大学工学院广州510275 广东省信息安全技术重点实验室广州510275

本文提出一种新的基于口令认证的RFID系统安全协议。该方法充分利用RFID低等级标签提供的有限资源:访问口令(PW)、标签的标识码(ID)和伪随机函数等建立RFID系统读写器和标签双向认证的安全协议,对该协议抵抗各种攻击的安全性进行理论分... 详细信息

本文提出一种新的基于口令认证的RFID系统安全协议。该方法充分利用RFID低等级标签提供的有限资源:访问口令(PW)、标签的标识码(ID)和伪随机函数等建立RFID系统读写器和标签双向认证的安全协议,对该协议抵抗各种攻击的安全性进行理论分析并对该协议的认证功能进行BAN逻辑的形式化分析。结果表明该协议能够有效抵御在线和离线字典攻击、伪装攻击、重放攻击以及流量分析和跟踪攻击,因而解决了RFID系统的安全问题。

关键词：无线通信安全协议口令字典攻击 BAN逻辑

在线全文

学校读者我要写书评

暂无评论

BAN逻辑在协议分析中的密钥猜测分析缺陷

计算机工程 2006年第9期32卷 126-127,130页

作者：杨世平李祥贵州大学计算机软件与理论研究所贵阳550025

BAN逻辑可以证明协议是否能够达到预期目标,还能够发现协议中存在的一些缺陷,为进一步改进提供参考。但是,通过一个认证协议的例子证明,该文指出,BAN逻辑对于诸如弱密钥方面存在的密钥猜测攻击的分析存在缺陷,还需结合非形化的方法来加... 详细信息

BAN逻辑可以证明协议是否能够达到预期目标,还能够发现协议中存在的一些缺陷,为进一步改进提供参考。但是,通过一个认证协议的例子证明,该文指出,BAN逻辑对于诸如弱密钥方面存在的密钥猜测攻击的分析存在缺陷,还需结合非形化的方法来加以解决。

关键词： BAN逻辑认证协议密钥猜测攻击椭圆曲线

一种基于ban类逻辑的安全协议分析方法及其自动化实现

在线全文

学校读者我要写书评

暂无评论

一种基于BAN类逻辑的安全协议分析方法及其自动化实现

作者：王恩俊浙江大学

学位级别：硕士

安全协议是实现安全的分布式系统的基础,所以保证其正确地工作至关重要。不幸的是,安全协议的设计存在一些非常微妙的细节,很难保证在设计过程中就能发现可能存在的漏洞。为此,在过去的20年间,研究人员提出了许多严格的形式化分析方法... 详细信息

安全协议是实现安全的分布式系统的基础,所以保证其正确地工作至关重要。不幸的是,安全协议的设计存在一些非常微妙的细节,很难保证在设计过程中就能发现可能存在的漏洞。为此,在过去的20年间,研究人员提出了许多严格的形式化分析方法用于协议的安全性分析。其中,一种名为“BAN逻辑”的基于逻辑推理的分析方法,因其以通俗的概念来侦测协议中存在的漏洞和冗余,而获得了广泛的应用和好评。GNY是ban的众多后继者中的一员,它扩展了BAN逻辑中的许多内容使得便于利用GNY开发自动化验证系统。基于形式逻辑的思想,一种名为“信任多集”的形式化分析方法被提出来,它明确指明了保证密码协议足够安全的充分必要条件,同时对于存在安全性缺失的密码协议,能够有限度地给出构造攻击的结构。本文将阐述,信任多集在经过改进和完善后,不仅可用于手工分析也便于开发自动验证系统。 BMF Package就是基于“信任多集”所开发出的一套自动化验证系统。它由Prolog语言编写的分析器BMF Analyzer和可视化建模工具Visual BMF组成。它借鉴了南非开普敦大学基于GNY逻辑所开发的Spear2系统。本文的结构如下：第2章主要介绍安全协议,安全协议的漏洞以及可能的攻击;第3,4章进入正题开始介绍安全协议的形式化分析;第5,6章是信任多集的改进及其自动化实现,这也是我的主要工作。

关键词：安全协议 BAN逻辑 GNY逻辑信任多集形式化分析方法 BMF Package自动化验证系统 BMF Analyzer分析引擎 Visual BMF可视化协议定制环境

社交网络下智能手机轻型安全认证协议的BAN逻辑安全性分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

电子设计工程 2018年第16期26卷 99-102,106页

作者：林荣智苗耀锋西安外事学院陕西西安710077

传统公钥加密认证方式具有较高的计算需求,从而对智能终端提出了全新的挑战。因为现代手机网络具有社交网络功能,所以就提出了一种社交网络下智能手机轻型安全认协议。通过相应的逻辑推导,表示认证协议协议具有一定的缺陷,会出现伪装攻... 详细信息

传统公钥加密认证方式具有较高的计算需求,从而对智能终端提出了全新的挑战。因为现代手机网络具有社交网络功能,所以就提出了一种社交网络下智能手机轻型安全认协议。通过相应的逻辑推导,表示认证协议协议具有一定的缺陷,会出现伪装攻击。之后对其进行分析,使用BAN逻辑安全性实现安全认证协议的加密方式,根据用户常用的联系人数量较少的特点避免了协议出现大规模密钥发布和管理的问题。通过实验研究结果表示,所提出的协议能够在智能手机中运行,并且使用的资源较少,终端的续航时间较长。

关键词：社交网络智能手机安全认证协议 BAN逻辑安全性

在线全文

学校读者我要写书评

暂无评论

类BAN逻辑基本模型及缺陷

软件学报 2000年第12期11卷 1660-1665页

作者：许剑卓戴英侠左英男中国科学技术大学研究生院信息安全国家重点实验室北京100039

类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并... 详细信息

类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并依据该模型对类 BA N逻辑的缺陷进行分类 ,最后指出进一步发展类

关键词：密码协议 BAN逻辑缺陷