检索结果-内蒙古大学图书馆

电子与信息学报 2021年第6期43卷 1756-1763页

作者：舒琴王圣宝路凡义韩立东谭肖杭州师范大学信息科学与工程学院杭州311121

大部分现有基于格的两方口令认证密钥交换协议(2PAKE)都是在基于不可区分的公共参考串模型或Bellare-Pointcheval-Rogaway(BBR)模型下被证明安全的。该文提出一个基于环上带误差学习问题的两方口令认证密钥交换协议,并在通用可组合框架... 详细信息

大部分现有基于格的两方口令认证密钥交换协议(2PAKE)都是在基于不可区分的公共参考串模型或Bellare-Pointcheval-Rogaway(BBR)模型下被证明安全的。该文提出一个基于环上带误差学习问题的两方口令认证密钥交换协议,并在通用可组合框架下证明其安全性。与同类协议相比,新协议具有更高的安全性和更高的效率。

关键词：两方密钥交换协议口令认证环上带误差学习问题通用可组合模型

来源：评论

学校读者我要写书评

暂无评论

物联网中射频识别技术的研究

物联网中射频识别技术的研究

引用

作者：关录云南大学

学位级别：硕士

随着无线传感技术的不断发展与完善,物联网在我们生活当中的运用越来越广泛,从衣食住行到交通等公共服务,都离不开物联网所提供的服务,可以说物联网时刻“监护”者我们的日常生产与生活。物联网技术不是单个的技术创新,而是多个创新技... 详细信息

随着无线传感技术的不断发展与完善,物联网在我们生活当中的运用越来越广泛,从衣食住行到交通等公共服务,都离不开物联网所提供的服务,可以说物联网时刻“监护”者我们的日常生产与生活。物联网技术不是单个的技术创新,而是多个创新技术在运用与相互融合中产生的。物联网是指一个物体到物体的概念,它要求物体与物体互联,物体的任何信息变化都能被由感知网络所感知,并根据实际需求做出信息的智能计算与决策。感知网络是由一个个感知节点组成,其分布于与我们日常生产生活环境的各个角落,如果没有一个完善的安全体系,就不能给我们的生活带来益处。物联网的安全问题涉及到整个物联网架构的所有层次,且复杂多变,由于没有统一的安全标准,很难建立起有效统一的安全体系。通用可组合模型是一种定义较为严格的安全模型,通信协议的每一次会话都分解成子会话,每个子会话对于协议来说都是理想安全的。通用可组合模型设计出的安全协议具有可组合型,通过对每个子结构安全性的证明,证明了整个协议就有良好的安全性。 LCAP协议是目前射频识别协议中安全级别比较高的协议,但是由于通信前后数据状态需要及时更新,所以出现各种数据不同步的问题。本文详细介绍了各个安全协议的通信过程与优缺点,创新点在于提出了基于LCAP协议的改进。改进协议后,数据库端存储更新前后的数据,解决了数据不同步的问题。该协议使用公开密钥与双向认证技术,具有良好的前向安全性。通过分解协议子会话,符合通用可组合模型的设计要求,达到了理想情况下的安全目标。

关键词：物联网感知层感知节点射频识别 LCAP 通用可组合模型

来源：评论

学校读者我要写书评

暂无评论

供应链环境下通用可组合安全的RFID通信协议

引用

计算机学报 2008年第10期31卷 1754-1767页

作者：张帆孙璇马建峰曹春杰朱建明西安电子科技大学网络与信息安全重点实验室(教育部) 中央财经大学信息学院北京100081

供应链管理是RFID技术的主要应用领域之一,但是目前该领域对基于RFID技术的安全机制还没有较深入的研究.供应链环境的特定安全需求决定了无法直接应用已有的各种RFID安全机制.该文定义了供应链环境下RFID通信协议必须满足的安全需求,提... 详细信息

供应链管理是RFID技术的主要应用领域之一,但是目前该领域对基于RFID技术的安全机制还没有较深入的研究.供应链环境的特定安全需求决定了无法直接应用已有的各种RFID安全机制.该文定义了供应链环境下RFID通信协议必须满足的安全需求,提出了一个可以满足这些安全需求的通用可组合安全模型,设计了一个可以实现该模型的轻量级RFID通信协议.协议的设计和证明采用模块化的方法,并可以保证在复杂网络环境下的安全运行.文章进一步对不可链接性进行了形式化定义,并根据安全属性对典型的RFID通信协议进行分类.

关键词：供应链管理 RFID 安全通用可组合模型协议

来源：评论

学校读者我要写书评

暂无评论

无线网络安全协议的形式化分析方法

无线网络安全协议的形式化分析方法

引用

作者：张帆西安电子科技大学

学位级别：博士

随着无线网络应用的迅速发展,网络安全的问题日益重要,采用形式化方法设计及分析无线环境下的安全协议得到快速的发展以及广泛的应用。本论文对于安全协议的形式化分析方法从技术特点上做了分类和分析,对于安全协议分析技术的发展历史... 详细信息

随着无线网络应用的迅速发展,网络安全的问题日益重要,采用形式化方法设计及分析无线环境下的安全协议得到快速的发展以及广泛的应用。本论文对于安全协议的形式化分析方法从技术特点上做了分类和分析,对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结。具体内容包括: ·对形式化分析方法—BAN类逻辑进行了研究,利用BAN类逻辑(WK逻辑),对中国无线局域网安全标准WAPI及其实施方案的认证基础设施WAI进行了形式化分析,指出其中存在的安全隐患,以及能够实现的安全目标。 ·对基于计算复杂性的方法进行了深入研究;重点研究内容包括:Canetti-Krawczyk模型和通用可组合模型,主要工作包括: 1.通过Canetti-Krawczyk(CK)安全模型对IEEE802.11i四步握手协议模块进行了安全性证明。证明表明四步握手协议不仅满足CK模型下提出的会话密钥(SK)安全的定义,并且可以满足更高安全级别的通用可组合(UC)安全的定义,因此该协议可以作为无线局域网中安全的认证和密钥协商基础模块使用。 2.利用CK模型,对中国无线局域网安全标准WAPI的认证模型进行了深入分析,针对WAPI中的安全缺陷,提出了一种增强的无线认证协议EWAP。该方案采用模块化及可组合的设计方法,在CK模型下提供了可证明的安全性,并具有相应的安全属性。 3.提出了一个适合无线环境下使用的基于双重加密机制的会话密钥分发协议,该协议作为四步握手协议的上层协议,可以保证STA与AP安全共享PMK的目的。利用CK模型,在双重加密机制满足适应性选择密文攻击(CCA2)安全的定义下,对该会话密钥分发协议进行了安全性分析。 4.供应链管理是RFID技术主要的应用领域之一,但是目前对该领域基于RFID技术的安全机制还没有较深入的研究。供应链环境对于RFID技术的特定安全需求决定了无法直接应用已有的各种RFID安全机制。定义了供应链环境下RFID通信协议必须满足的安全需求,提出了一个可以满足这些安全需求的通用可组合安全模型,并且设计了一个可以实现该模型的轻量级RFID通信协议。 5.利用通用可组合安全模型定义并实现了一种适用于无线网络的匿名Hash认证理想函数,并在此基础上定义了一个具有普遍意义的Hash证书权威模型。定义了匿名Hash认证机制的安全需求和安全概念,并且证明在标准模型(非随机预言机模型)下所提匿名Hash认证机制的安全属性可以通过安全对称加密机制、安全数据签名机制、伪随机函数以及单向无碰撞Hash函数的组合得到保证。 ·最后,本文对安全协议的形式化分析方法的最新进展—协议组合逻辑PCL进行了深入研究,设计了一个基于RFID的供应链通信协议可以实现所定义的安全需求和可见性要求,并且用PCL给出了形式化的安全证明。

关键词：协议形式化分析计算复杂性通用可组合模型协议组合逻辑

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：