检索结果-南通市图书馆

多服务器环境下基于椭圆曲线密码的改进的身份认证协议

在线全文

学校读者我要写书评

暂无评论

计算机科学 2018年第6期45卷 111-116,150页

作者：殷秋实陈建华武汉大学数学与统计学院武汉430072

传统的身份认证协议大部分都是采用用户名和口令的模式在基于数学问题难解的情况下衍生出来的。这类协议往往依赖于口令的复杂性、随机数发生器的性能以及较大的计算开销来确保通信的安全性,因而效率较低且实用性不强。为了成功规避上... 详细信息

传统的身份认证协议大部分都是采用用户名和口令的模式在基于数学问题难解的情况下衍生出来的。这类协议往往依赖于口令的复杂性、随机数发生器的性能以及较大的计算开销来确保通信的安全性,因而效率较低且实用性不强。为了成功规避上述问题,在引入生物因子及模糊提取器的基础上提出了一个基于椭圆曲线密码改进的身份认证协议,并用Burrows-Abadi-Needham(ban逻辑)形式化地完成了双方密钥认证性的验证,随后又对其进行了安全性分析并与其他相关协议进行了性能比较。实验结果表明,此协议具备更高的安全性和更强的实用性。

关键词：多服务器环境椭圆曲线密码身份认证模糊提取器 ban逻辑

在线全文

学校读者我要写书评

暂无评论

一种WSN簇头更换过程中的信息转移方法

微电子学与计算机 2016年第5期33卷 147-152页

作者：苑津莎张路路赵曼华北电力大学电子与通信工程系河北保定071003

提出簇ID的概念,在此基础上提出了一种簇头更换过程中将路由信息、密钥信息转移到下一个簇头节点的方法.利用簇ID通信时,可以直接发送数据包给下一跳节点内的簇ID,避免了查询簇头的繁琐过程,使簇头转移过程简化.根据现有簇头与簇头之间... 详细信息

提出簇ID的概念,在此基础上提出了一种簇头更换过程中将路由信息、密钥信息转移到下一个簇头节点的方法.利用簇ID通信时,可以直接发送数据包给下一跳节点内的簇ID,避免了查询簇头的繁琐过程,使簇头转移过程简化.根据现有簇头与簇头之间的簇间密钥,应用Diffie-Hellman算法生成新簇头节点间密钥,最后运用ban逻辑的形式化分析方法,对该协议的安全性进行了证明.

关键词：无线传感器网络密钥管理簇ID 簇间密钥 Diffie-Hellman ban逻辑

在线全文

学校读者我要写书评

暂无评论

基于口令的客户端/服务器认证协议

计算机工程与应用 2015年第20期51卷 72-76,161页

作者：邓飞朱莹怀化职业技术学院信息与艺术设计系湖南怀化418000 北京邮电大学网络技术研究院北京100876

身份认证是建立客户端和服务器之间安全会话的前提条件。Kim和Chung提出了一种双方的双向认证方案,其以较小的计算量得到了学者们的关注。但经分析发现,该方案并不安全:无法抵抗离线口令猜测攻击和无限次在线口令猜测攻击,也不能防止服... 详细信息

身份认证是建立客户端和服务器之间安全会话的前提条件。Kim和Chung提出了一种双方的双向认证方案,其以较小的计算量得到了学者们的关注。但经分析发现,该方案并不安全:无法抵抗离线口令猜测攻击和无限次在线口令猜测攻击,也不能防止服务器伪装攻击。为了解决这些安全隐患,利用非对称Rabin密码体制提出了一种改进的方案,并基于ban逻辑对方案的正确性进行了严格验证。最后还分析了新方案的安全性和性能。

关键词：身份认证 Rabin体制口令猜测攻击服务器伪装攻击 ban逻辑

在线全文

学校读者我要写书评

暂无评论

基于云的轻量级RFID群组标签认证协议

计算机科学 2019年第1期46卷 182-189页

作者：李璐璐董庆宽陈萌萌西安电子科技大学综合业务网国家重点实验室西安710071

射频识别技术(Radio Frequency Identification,RFID)作为物联网中标识物品的关键技术,其因低成本、易携带等优势而得到了广泛的应用。基于云存储的RFID技术相较于传统RFID技术更具有应用市场,但其安全隐私问题也更为严重。另外,现有的... 详细信息

射频识别技术(Radio Frequency Identification,RFID)作为物联网中标识物品的关键技术,其因低成本、易携带等优势而得到了广泛的应用。基于云存储的RFID技术相较于传统RFID技术更具有应用市场,但其安全隐私问题也更为严重。另外,现有的很多群组标签认证协议不仅不符合轻量级要求,还具有密钥失同步的问题。文中提出一种基于云的轻量级RFID群组标签认证协议。该协议基于Hash函数而设计,它不仅解决了上述安全隐患,还能在群组认证过程中筛除无效标签和假冒标签。最后,利用ban逻辑对该协议进行了分析。安全目标分析表明,该协议可以抗多重DOS攻击以及其他基本攻击,并满足前向安全性。

关键词：云数据库 RFID 轻量级认证协议群组认证 ban逻辑

基于物理不可克隆函数的Kerberos扩展协议及其形式化分析

在线全文

学校读者我要写书评

暂无评论

信息网络安全 2020年第12期20卷 91-97页

作者：张正查达仁柳亚男方旭明中国科学院信息工程研究所北京100093 金陵科技学院网络安全学院南京211169

文章提出一种基于物理不可克隆函数(PUF)的Kerberos扩展协议。基于PUF的激励响应认证机制,利用PUF激励响应对代替Kerberos标准协议中的口令或数字证书,可以抵抗口令猜测攻击和假冒攻击。该协议优势在于实现认证服务器与设备的双向认证... 详细信息

文章提出一种基于物理不可克隆函数(PUF)的Kerberos扩展协议。基于PUF的激励响应认证机制,利用PUF激励响应对代替Kerberos标准协议中的口令或数字证书,可以抵抗口令猜测攻击和假冒攻击。该协议优势在于实现认证服务器与设备的双向认证、设备端无须预存储口令或密钥、降低存储开销和口令或密钥泄露的风险。文章基于ban逻辑进行形式化分析,证明该协议的安全性;同时与其他协议进行比较,证明该协议能够抵抗物理克隆、建模攻击等威胁。

关键词：物理不可克隆函数 Kerberos 认证密钥分配 ban逻辑

在线全文

学校读者我要写书评

暂无评论

可信网络连接双向认证协议的设计与分析

解放军理工大学学报（自然科学版） 2014年第4期15卷 307-315页

作者：徐明飞吴礼发洪征曾晓光周振吉解放军理工大学指挥信息系统学院江苏南京210007

针对可信网络连接认证协议的现有方案存在单向认证、平台身份和配置信息泄露、无法抵御伪装及重放攻击等安全问题,提出了一种新的认证协议。该协议通过引入可信第三方实现了双向用户身份和平台身份的认证,防止了伪装攻击。直接匿名证明... 详细信息

针对可信网络连接认证协议的现有方案存在单向认证、平台身份和配置信息泄露、无法抵御伪装及重放攻击等安全问题,提出了一种新的认证协议。该协议通过引入可信第三方实现了双向用户身份和平台身份的认证,防止了伪装攻击。直接匿名证明方法和时间戳的应用,保护了平台身份和配置信息的安全,防止了重放攻击。采用ban逻辑对协议进行形式化描述及分析,验证了本协议可以提高认证的安全性,具有较高的应用价值。

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

基于混沌加密的可同步更新RFID双向认证协议

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2016年第7期38卷 1376-1383页

作者：胡应梦张小红江西理工大学信息工程学院江西赣州341000

针对日益突出的RFID系统安全隐私问题,提出了一个基于混沌序列的RFID双向认证协议。利用混沌对初始值的敏感性生成混沌序列,对密钥进行加密。该协议引入标签密钥动态更新机制,并设计了自同步解决方案,实现了对标签的二次认证。采用ban... 详细信息

针对日益突出的RFID系统安全隐私问题,提出了一个基于混沌序列的RFID双向认证协议。利用混沌对初始值的敏感性生成混沌序列,对密钥进行加密。该协议引入标签密钥动态更新机制,并设计了自同步解决方案,实现了对标签的二次认证。采用ban逻辑对其安全性进行证明,并与已有的协议进行安全性分析和性能比较。其分析结果表明,该协议降低了标签成本,减少了标签和后端数据库的计算量,提高了后端数据库的检索效率。不仅有效地解决了RFID系统的隐私保护及安全问题,同时也提高了RFID协议认证的执行效率,更适合低成本的RF1D系统。

关键词：射频识别认证协议混沌隐私保护 ban逻辑

在线全文

学校读者我要写书评

暂无评论

适用于远程医疗信息系统的身份认证协议

武汉大学学报（理学版） 2020年第2期66卷 117-125页

作者：屈娟李艳平重庆三峡学院数学与统计学院重庆404100 陕西师范大学数学与信息科学学院陕西西安710119

远程医疗信息系统中,身份认证是确保患者和医疗服务器之间安全通信的有效机制。对Sutrala等基于口令的适用于远程医疗信息系统的用户匿名认证协议进行了安全性分析,指出其协议不能抵抗离线口令猜测攻击、中间人攻击,不具备前向安全性。... 详细信息

远程医疗信息系统中,身份认证是确保患者和医疗服务器之间安全通信的有效机制。对Sutrala等基于口令的适用于远程医疗信息系统的用户匿名认证协议进行了安全性分析,指出其协议不能抵抗离线口令猜测攻击、中间人攻击,不具备前向安全性。基于扩展混沌映射提出了一个新的三因素匿名用户身份认证协议,新协议克服了Sutrala等协议的安全漏洞。利用ban(Burrows-Abadi-Needham)逻辑对提出方案进行了形式化证明。此外,安全分析表明,新的协议能够抵御各种恶意攻击,适用于远程医疗环境。

关键词：远程医疗信息系统认证智能卡 ban逻辑

基于随机运算符的轻量级匿名射频识别系统双向认证协议

在线全文

学校读者我要写书评

暂无评论

计算机应用 2021年第6期41卷 1621-1630页

作者：吴恺凡殷新春扬州大学信息工程学院江苏扬州225127 扬州大学广陵学院江苏扬州225128

针对无线射频识别(RFID)系统容易遭受无线信道中的恶意攻击以及标签所有者隐私时常收到侵犯的问题,提出了一种支持匿名的轻量级RFID认证协议。首先,使用了随机数发生器生成不可预测的序列以指定参与协议的轻量级运算符;然后,通过指定种... 详细信息

针对无线射频识别(RFID)系统容易遭受无线信道中的恶意攻击以及标签所有者隐私时常收到侵犯的问题,提出了一种支持匿名的轻量级RFID认证协议。首先,使用了随机数发生器生成不可预测的序列以指定参与协议的轻量级运算符;然后,通过指定种子以实现阅读器与标签之间的密钥协商;最后,实现双向认证与信息更新。通过与部分典型的轻量级方案的对比可知,所提出的方案相较同类的轻量级协议最多节省近42%的标签存储开销,同时其通信开销维持在同类方案的低水平位置,且能够支持多种安全需求。所提方案适用于低成本RFID系统。

关键词：无线射频识别轻量级 k-匿名双向认证 ban逻辑形式化验证