检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

移动IPv6中安全认证体系结构的设计研究

微型机与应用 2005年第11期24卷 35-36,62页

作者：刘建华游红曾进重庆大学计算机学院重庆400044

分析了移动环境下移动IP认证方案的不足,提出一种高效的移动IPv6安全认证体系结构,并使用ban逻辑方法对其进行了形式化分析。

关键词：移动IPv6 授权认证 ban逻辑体系结构安全认证设计研究形式化分析认证方案移动环境

在线全文

学校读者我要写书评

暂无评论

基于二次剩余理论的智能电表安全认证协议

计算机科学 2018年第7期45卷 158-161页

作者：徐扬苑津莎高会生赵振兵华北电力大学电气与电子工程学院河北保定071003

在EPC Class 1Gen-2标准下,RFID标签中只有很少的内存被用于处理标签的安全问题。针对此,提出一种基于二次剩余的RFID认证协议。协议通过在阅读器和标签内预置一个智能电表ID的Hash值来保证标签的前向安全性和匿名性,数据采集器通过二... 详细信息

在EPC Class 1Gen-2标准下,RFID标签中只有很少的内存被用于处理标签的安全问题。针对此,提出一种基于二次剩余的RFID认证协议。协议通过在阅读器和标签内预置一个智能电表ID的Hash值来保证标签的前向安全性和匿名性,数据采集器通过二次剩余理论来验证电表标签是否合法,以实现对智能电表的身份认证;利用ban逻辑理论实现对协议的安全性分析。与其他两种应用于智能电表的认证协议的性能对比分析表明,该协议计算量小,实现复杂度低,可以抵御多种攻击,能够满足用户的安全隐私需求。

关键词：智能电表认证协议二次剩余 Hash ban逻辑

在线全文

学校读者我要写书评

暂无评论

基于随机数同步更新的RFID安全协议

计算机工程 2013年第8期39卷 9-14页

作者：钱权贾彦龙张瑞上海大学计算机工程与科学学院上海200072

针对无线射频识别(RFID)应用的安全问题,提出一种基于随机数同步更新的RFID安全协议。利用RFID后端系统生成的随机数实现标签认证,每次认证完成后对标签和随机数做同步更新。从理论上分析协议的执行性能和安全性,并利用ban逻辑对协议的... 详细信息

针对无线射频识别(RFID)应用的安全问题,提出一种基于随机数同步更新的RFID安全协议。利用RFID后端系统生成的随机数实现标签认证,每次认证完成后对标签和随机数做同步更新。从理论上分析协议的执行性能和安全性,并利用ban逻辑对协议的安全性进行形式化证明。结果表明,该协议能够实现标签和阅读器之间的相互认证,同时可抵抗重放、位置跟踪、流量分析、伪装、拒绝服务、非法读取等攻击。在实现上该协议仅使用哈希和异或运算,降低了标签的计算复杂性,适合低成本标签应用。

关键词：无线射频识别安全协议随机数 ban逻辑同步更新

在线全文

学校读者我要写书评

暂无评论

基于SM2与零知识的射频识别双向认证协议

计算机工程 2017年第6期34卷 97-100,104页

作者：李子臣刘博雅王培东杨亚涛北京印刷学院教务处北京102600 北京电子科技学院北京100070 西安电子科技大学通信工程学院西安710071

为保证射频识别系统中阅读器与标签的无线通信安全,以国产公钥密码算法SM2为基础,引入零知识证明思想,提出一种双向认证协议。给出安全性分析和效率分析,并利用ban逻辑进行形式化分析。结果表明,该协议在阅读器和标签只需交互2次的情况... 详细信息

为保证射频识别系统中阅读器与标签的无线通信安全,以国产公钥密码算法SM2为基础,引入零知识证明思想,提出一种双向认证协议。给出安全性分析和效率分析,并利用ban逻辑进行形式化分析。结果表明,该协议在阅读器和标签只需交互2次的情况下即可完成双向认证,具有较高的安全性和通信效率。

关键词： SM2算法射频识别技术零知识双向认证协议 ban逻辑

在线全文

学校读者我要写书评

暂无评论

基于改进双跳无线体域网的身份认证方案

计算机应用研究 2020年第11期37卷 3417-3421页

作者：罗峰陈云济宁学院计算机科学系山东济宁273155 杭州电子科技大学信息工程学院杭州310018

在无线体域网(Wban)的身份认证中,针对原方案通信传感器节点可追踪和不具备匿名性的缺点,提出一种改进双跳身份认证方案,并保留了原方案的高效运算特性。引入了二级节点N的保密密钥和核心节点HN的身份验证参数两个独立的保密参数,并让... 详细信息

在无线体域网(Wban)的身份认证中,针对原方案通信传感器节点可追踪和不具备匿名性的缺点,提出一种改进双跳身份认证方案,并保留了原方案的高效运算特性。引入了二级节点N的保密密钥和核心节点HN的身份验证参数两个独立的保密参数,并让二级节点N的保密密钥独立。并与原方案保密值组成三个保密值,通过三个保密值来确保参数的保密性和新鲜性。安全性分析和ban逻辑表明所提方案具备不可追踪性和匿名性,且计算成本与原方案相近,通信成本更低,存储成本略有上升。所提方案是原方案的有效改进。

关键词：无线体域网身份认证保密参数 ban逻辑计算成本匿名性

在线全文

学校读者我要写书评

暂无评论

可信网络接入认证协议的设计与分析

计算机工程与设计 2011年第12期32卷 3993-3996页

作者：符湘萍吴振强湘西民族职业技术学院计算机系湖南吉首416000 陕西师范大学计算机科学学院陕西西安710062

随着对TNC应用和研究的不断深入,其架构自身的安全性问题也逐渐成为人们所关注的焦点。在分析了TNC架构存在局限性的基础上,提出了一种新的基于TNC规范的网络接入认证协议,在服务器端和客户端安全协商会话密钥的前提下实现了通信双方的... 详细信息

随着对TNC应用和研究的不断深入,其架构自身的安全性问题也逐渐成为人们所关注的焦点。在分析了TNC架构存在局限性的基础上,提出了一种新的基于TNC规范的网络接入认证协议,在服务器端和客户端安全协商会话密钥的前提下实现了通信双方的双向身份认证和双向平台认证,在提高认证效率的同时使得整个认证过程更为安全可靠。最后,对协议进行了安全性分析,并给出了协议的安全性验证过程,分析结果表明该接入认证协议能够达到预期的安全目标。

关键词：可信网络连接接入认证协议双向认证安全性分析 ban逻辑

在线全文

学校读者我要写书评

暂无评论

基于RSA的同态密钥协商

计算机工程 2007年第19期33卷 128-129,139页

作者：向广利朱平张俊红马捷武汉理工大学计算机学院武汉430070 武汉大学计算机学院武汉430072

回顾了密钥管理的基本内容,介绍了RSA公钥密码体制和整数环上的同态加密机制,提出了基于RSA的同态密钥协商。该协议主要利用RSA的公钥和同态加密机制建立一个会话密钥。与Diffie-Hellman以及基于口令的密钥协商协议相比,它分别有更快的... 详细信息

回顾了密钥管理的基本内容,介绍了RSA公钥密码体制和整数环上的同态加密机制,提出了基于RSA的同态密钥协商。该协议主要利用RSA的公钥和同态加密机制建立一个会话密钥。与Diffie-Hellman以及基于口令的密钥协商协议相比,它分别有更快的运算速度和较好的安全性。利用ban逻辑证明了该协议的安全性。

关键词：同态加密密钥协商 ban逻辑

在线全文

学校读者我要写书评

暂无评论

媒体无关切换方案的安全性

计算机工程 2008年第18期34卷 17-18页

作者：万长胜胡爱群东南大学信息科学与工程学院南京210096

针对移动节点移动到外地网络时媒体无关切换(MIH)的服务安全问题,提出一种基于diameter的密钥分发方案,为移动节点和外地MIH服务器建立信任关系,使用消息鉴别码为MIH信令提供完整性保护。使用ban逻辑对密钥分发方案的安全性进行证明,分... 详细信息

针对移动节点移动到外地网络时媒体无关切换(MIH)的服务安全问题,提出一种基于diameter的密钥分发方案,为移动节点和外地MIH服务器建立信任关系,使用消息鉴别码为MIH信令提供完整性保护。使用ban逻辑对密钥分发方案的安全性进行证明,分析表明该方案性能优于同类方案。

关键词：媒体无关切换预共享密钥 ban逻辑

在线全文

学校读者我要写书评

暂无评论

一种改进的NSSK认证协议及其实现方法

小型微型计算机系统 2018年第3期39卷 468-473页

作者：于金刚赵治刚中国科学院大学北京100049

为了保障开源的网络通讯产品如实时消息系统、网络电话等能够在高安全领域得以应用,本文对著名的NeedhamSchroeder(NS)认证协议进行改进和优化,优化后的协议通过采用使接收方与密钥分发中心通信、在密钥分发中心返回的消息中添加发送方... 详细信息

为了保障开源的网络通讯产品如实时消息系统、网络电话等能够在高安全领域得以应用,本文对著名的NeedhamSchroeder(NS)认证协议进行改进和优化,优化后的协议通过采用使接收方与密钥分发中心通信、在密钥分发中心返回的消息中添加发送方身份和各方发送的临时值的方式,达到了确保消息新鲜性、通信双方身份及会话中共享密钥可靠性的目的,同时避免了原生NS协议存在的旧消息重传攻击和身份冒充缺陷.利用模态逻辑ban逻辑,对改进版的协议进行理想化建模、定义初始假设集合及安全目标集合,并在此基础上使用推理规则,证明了该改进协议完全能够达到认证协议的安全目标.通过硬件及其对应的工具包,实现了该认证协议,并在实际应用中验证.

关键词： Needham-Schroeder协议形式化验证 ban逻辑