检索结果-南通市图书馆

基于HASH函数的RFID安全双向认证协议研究

在线全文

学校读者我要写书评

暂无评论

中国测试 2017年第3期43卷 87-90,96页

作者：熊婧王建明南京工业大学计算机科学与技术学院江苏南京210009

针对RFID技术在信息传递过程中容易遭受跟踪攻击、重放攻击等问题,为提高信息在传递过程中的安全性,在已有的RFID安全认证协议的基础上,提出一种基于Hash函数的RFID安全双向认证协议,并对其进行ban逻辑分析和性能分析。该认证协议不仅... 详细信息

针对RFID技术在信息传递过程中容易遭受跟踪攻击、重放攻击等问题,为提高信息在传递过程中的安全性,在已有的RFID安全认证协议的基础上,提出一种基于Hash函数的RFID安全双向认证协议,并对其进行ban逻辑分析和性能分析。该认证协议不仅运算量小、所需存储空间小、成本低,而且在一定程度上具有防窃听、前向安全性、防位置跟踪、不可分辨性以及防重放攻击等优点,较好地解决RFID技术在信息传输过程中可能遇上的安全隐患问题,适用于RFID环境。

关键词：射频识别技术双向认证 Hash函数 ban逻辑

在线全文

学校读者我要写书评

暂无评论

Otway Rees协议的安全分析

计算机应用与软件 2006年第2期23卷 122-124页

作者：曾子维李鹏孙学波鞍山科技大学计算机科学与工程学院辽宁鞍山114044

互联网的迅速发展引起人们对协议安全性的关注,现在国际上流行安全协议的分析方法集中在形式化验证方面,其中ban逻辑是一种方法。本文通过使用ban逻辑证明O tway Rees协议的安全性,同时也得出ban逻辑在证明协议安全性方面的一些缺陷。

关键词：安全协议 ban逻辑 Otway Rees协议安全分析逻辑证明形式化验证安全性互联网

一种基于混合密码体制的不可否认协议及其形式化分析

在线全文

学校读者我要写书评

暂无评论

中国科学院研究生院学报 2004年第2期21卷 185-190页

作者：李艳平张建中陕西师范大学数学与信息科学学院西安710062

提出一个基于混合密码体制的抗否认密码协议 :可以运行在不安全信道上实现交易的公平性与通信双方的不可否认性 ;在通常情况下只需通信双方进行 3次信息的交互 ,且保证传递数据的机密性与收发方交易的隐私权 ;避免了可信第三方可能成为... 详细信息

提出一个基于混合密码体制的抗否认密码协议 :可以运行在不安全信道上实现交易的公平性与通信双方的不可否认性 ;在通常情况下只需通信双方进行 3次信息的交互 ,且保证传递数据的机密性与收发方交易的隐私权 ;避免了可信第三方可能成为系统瓶颈的问题 .最后给出该协议的形式化分析 ,证明了它的公平性、安全性与可行性 .

关键词：欺诈否认 ban逻辑 Kailar逻辑

在线全文

学校读者我要写书评

暂无评论

基于Hash函数的RFID安全协议研究

计算机工程与设计 2013年第11期34卷 3766-3769,3789页

作者：张捍东丁磊岑豫皖安徽工业大学电气信息学院安徽马鞍山243002 安徽工业大学机械工程学院安徽马鞍山234002

通过分析现有RFID安全协议的优缺点,针对工业界对RFID系统的成本要求,提出了一种基于Hash函数的低成本RFID安全协议。协议可以有效地保护电子标签信息的隐私性,并提供了双向认证,可以抵抗重放攻击、仿制攻击、拒绝服务攻击以及窃听攻击... 详细信息

通过分析现有RFID安全协议的优缺点,针对工业界对RFID系统的成本要求,提出了一种基于Hash函数的低成本RFID安全协议。协议可以有效地保护电子标签信息的隐私性,并提供了双向认证,可以抵抗重放攻击、仿制攻击、拒绝服务攻击以及窃听攻击等。通过ban逻辑分析表明协议的安全性。性能分析结果表明,协议具有较短的认证时间和计算量较小等特点,适合应用在低成本RFID系统中。

关键词：射频识别 Hash函数电子标签安全协议 ban逻辑

在线全文

学校读者我要写书评

暂无评论

基于CoAP轻量级远程用户认证协议

计算机工程与设计 2023年第7期44卷 2000-2007页

作者：王啸阮方鸣陈延利贵州师范大学大数据与计算机科学学院贵州贵阳550025

针对智能家居物联网设备的安全问题,提出一种轻量级、隐私保护的远程用户认证协议。该协议将随机数和对称密钥相结合,采用受限制的应用协议(costrained application protocal,CoAP)进行消息传输,免除用户记忆密码和携带智能卡的麻烦,完... 详细信息

针对智能家居物联网设备的安全问题,提出一种轻量级、隐私保护的远程用户认证协议。该协议将随机数和对称密钥相结合,采用受限制的应用协议(costrained application protocal,CoAP)进行消息传输,免除用户记忆密码和携带智能卡的麻烦,完成远程用户、智能网关和物联网设备的身份认证。完成远程用户和智能家居设备的会话密钥协商。通过ban逻辑形式化安全分析和非形式化安全分析,验证了提出协议的安全性。通过性能分析,验证了提出协议的可行性和轻量级特性,通信开销相较之前的研究减少了60%。

关键词：物联网智能家居设备身份验证协议受限应用协议智能家居远程用户 ban逻辑

在线全文

学校读者我要写书评

暂无评论

基于服务器私人密钥轻量级的身份验证协议

计算机工程与设计 2018年第11期39卷 3374-3379页

作者：李祉岐孙磊闻凯北京国电通网络技术有限公司北京100070 南京航空航天大学自动化学院江苏南京210016

通过对已有智能卡远程用户认证协议进行分析,指出该身份验证协议无法抵御离线密码猜测攻击,且不能提供用户匿名性,并提出一种轻量级的身份验证协议。所有发送的信息均不包含密码信息,通过设置服务器私人密钥的方式抵御离线密码猜测攻击... 详细信息

通过对已有智能卡远程用户认证协议进行分析,指出该身份验证协议无法抵御离线密码猜测攻击,且不能提供用户匿名性,并提出一种轻量级的身份验证协议。所有发送的信息均不包含密码信息,通过设置服务器私人密钥的方式抵御离线密码猜测攻击。为实现用户匿名性,使攻击者无法对用户的行为进行跟踪,在每个会话中采用掩码用户身份标识。ban逻辑证明了所提协议的正确性。与其它协议相比,所提协议在身份验证安全性方面更优,执行时间适中,适用于真实环境。

关键词：远程用户认证匿名性私人密钥密码猜测攻击 ban逻辑

在线全文

学校读者我要写书评

暂无评论

基于CFL的工控系统认证通信方案

计算机应用 2023年第4期43卷 1183-1190页

作者：兰松柏李方晓石乐义中国石油大学(华东)计算机科学与技术学院山东青岛266580

针对工控系统(ICS)中广泛采用的中心认证方案所存在的密钥泄露、单点失效、通信开销大的问题,将具有国内自主知识产权的密码基础逻辑(CFL)认证技术引入ICS的认证与通信过程中,并提出一种基于CFL的ICS认证通信方案。首先,通信双方通过交... 详细信息

针对工控系统(ICS)中广泛采用的中心认证方案所存在的密钥泄露、单点失效、通信开销大的问题,将具有国内自主知识产权的密码基础逻辑(CFL)认证技术引入ICS的认证与通信过程中,并提出一种基于CFL的ICS认证通信方案。首先,通信双方通过交换并验证基于彼此身份标识和权限信息所生成的动态含权证书,实现双方身份的去中心认证和会话密钥的协商;然后,通过会话密钥、CFL动态签名和访问控制规则保证双方的安全通信;最后,将控制过程详细日志进行加密存储,以实现可溯源过程。理论分析和实验结果表明,所提方案在身份验证阶段不再需要远程认证中心的参与,并实现了工控设备间的本地高效认证。在面对大量认证请求时,与公钥基础设施(PKI)方案、基于身份加密(IBE)方案相比,所提方案的系统吞吐量分别至少提升了92.53%和141.37%,意味着所提方案能够更好地满足ICS的大规模认证和毫秒级安全通信的需求。

关键词：工控系统密码基础逻辑认证认证通信安全套接层协议 ban逻辑

在线全文

学校读者我要写书评

暂无评论

IKE/IKEv2的安全性分析及实现

IKE/IKEv2的安全性分析及实现

作者：章春宇河海大学

学位级别：硕士

目前，互联网密钥交换协议(IKE／IKEv2)已经成为IPSec实现中首选的密钥交换协议。但由于它是一种混合型的协议，其自身的复杂性不可避免带来一些安全及性能上的缺陷。本文总结已有的研究成果，给出IKE在安全性、身份保密等方面存在的不... 详细信息

目前，互联网密钥交换协议(IKE／IKEv2)已经成为IPSec实现中首选的密钥交换协议。但由于它是一种混合型的协议，其自身的复杂性不可避免带来一些安全及性能上的缺陷。本文总结已有的研究成果，给出IKE在安全性、身份保密等方面存在的不足。主要内容是新版本互联网密钥交换协议的安全性分析、改进以及实现并测试。论文具体的工作主要包括以下几个方面： 1)全面介绍了形式化的逻辑分析方法，说明逻辑方法在密钥安全性分析上的重要性。并且对SVO逻辑进行了改进，使逻辑关系更为严格，然后应用改进后的SVO逻辑分析了IKEv2协议的核心安全：秘密性和认证性。通过分析，发现了初始交换后的响应方不能确认双方是否已经建立连接。对此，提出了相关的改进方法。 2)分析SVO逻辑分析能力的不足，并针对SVO逻辑分析能力的不足，提出了从身份保护的角度出发，对密钥协商机制的秘密性进行分析。发现协议在主动攻击下不能保护发起方的身份，并由此给出了自己的修改意见和解决方法。 3)参考了racoon2中IKEv2的实现，完成了改进后的IKEv2主要模块的设计。给了相关结构体和重要的函数。并通过协议改进前后的数据测试对比，得出改进后的互联网密钥交换协议增加了网络耗时但减少了主机资源等重要结论，详细说明了改进协议的可行性。

关键词： IPSec IKEv2协议安全联盟 ban逻辑 SVO逻辑

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

面向云环境的可信连接技术的研究

面向云环境的可信连接技术的研究

作者：刘建利中国地质大学(北京)

学位级别：硕士

随着云计算技术的飞速发展,云计算服务已经广泛的应用于商业、金融、国家电子政务等各个领域,日趋显著的影响着人们生活和生产活动。云计算普遍采用虚拟化、资源池化、外包化等技术来提高资源的利用率并节省用户支出,但是,这些技术弱化... 详细信息

随着云计算技术的飞速发展,云计算服务已经广泛的应用于商业、金融、国家电子政务等各个领域,日趋显著的影响着人们生活和生产活动。云计算普遍采用虚拟化、资源池化、外包化等技术来提高资源的利用率并节省用户支出,但是,这些技术弱化了用户对自身数据的控制,弱化了云边界控制,使得云环境中的安全性问题日益突出。针对云环境中出现的问题,论文根据三元三层网络连接架构TNCA提出了一个基于网络行为安全属性度量的可信网络连接架构TNCA-AM。论文依据网络行为的敏感度进行多重安全属性度量的方法,进而提出了一个云租户属性模型。论文在TNCA-AM框架指导下,设计了一套适用于云环境的可信网络连接协议。论文的主要创新点主要包括下面几个方面。首先,论文对传统网络连接架构进行了分析,针对于传统可信网络连接架构缺乏持续性度量和缺乏细粒度的访问控制两方面展现出来的局限性,根据我国提出的三元三层网络连接架构TNCA,提出了依据网络行为的敏感度进行多重安全属性度量的度量方法,提出了一种支持属性度量的可信网络连接架构TNCA-AM,给出了框架的架构、实体、功能部件的描述,给出了框架连接过程的步骤,最后分析传统网络连接框架和提出框架的优缺点。其次,根据TNCA-AM框架体系,论文设计了一套适用于云环境的可信网络连接协议。为了实现连接协议的属性收集、动态度量、个人证书码的验证等功能,论文提出了一个可信终端辅助模块TTAM,辅助远程证明过程,在此基础上,论文描述了可信网络连接协议的具体步骤,并给出了详细的三方通信交互过程图。除此之外,论文应用ban逻辑对提出的协议进行形式化证明,查找协议漏洞,确保协议的正确性和安全性。最后,论文对提出的适用于云环境的可信连接框架和可信连接协议进行了原型系统的设计,给出了系统结构设计图,并对可信连接的接入阶段进行了代码实现和测试。

关键词：云计算属性度量可信网络连接可信连接协议 ban逻辑