A new protocol implementing authentication transformations for multi-located parties
本文讨论了一种新的协议，实现了在多个位置的环境中的认证，避免了中间人（MIM）攻击，重放攻击，并提供了多个位置的各方的消息的隐私性，完整性。该协议使用的概念是，每一方都与一个附属代理人相关联。
2011-02-10 cs.CR
Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol
随着移动设备遍布物理空间，熟悉的认证模式变得不足：除了实体认证之外，许多应用需要，例如，位置认证。许多有趣的协议已经被提出和实现，以提供这种加强形式的认证，但很少有证据表明，这样的协议满足所需的安全属性。逻辑形式主义，设计用于推理标准计算机网络上的安全协议，原来是难以适应推理的混合协议，用于普及和异构网络。<p>我们完善的Dolev-Yao式的代数方法的协议分析的概率模型的猜测，需要分析的协议，混合弱密码学与非标准的通信信道的物理特性。应用这个模型，我们提供了一个精确的安全性证明的邻近认证协议，由于Hancke和库恩，使用一种微妙的形式的概率推理，以实现其目标。
2010-07-14 cs.CR
Comparing BB84 and Authentication-Aided Kak's Three-Stage Quantum Protocol
比较了目前流行的量子密钥分配协议BB84和最近的Kak三阶段协议，发现后者更安全。Kak的三阶段协议的认证辅助版本的理论表示，使它有可能处理的中间人攻击。
2007-03-19 cs.CR
Secure Biometric-based Remote Authentication Protocol using Chebyshev Polynomials and Fuzzy Extractor
在本文中，我们提出了一个多因素的基于生物特征的远程认证协议。我们的建议克服了一些以前的作品的漏洞。同时，该协议还获得了较低的错误接受率（FAR）和错误拒绝率（FRR）。
2019-04-09 cs.CR
A Security Protocol for Multi-User Authentication
在本说明中，我们提出了一个加密通信协议，也提供了数据库的安全性。对于数据通信的加密，我们使用类似于立方公钥变换的变换。该方法表示多对一映射，这增加了任何蛮干攻击的复杂性。还包括一些有趣的性质的转换是基本的认证协议。
2008-04-11 cs.CR
Cryptanalysis of shifted conjugacy authentication protocol
在本文中，我们提出了第一个实际的攻击移动共轭为基础的认证协议提出的P.Dehornoy。我们讨论了该原语的弱点，并提出了改进协议的方法。
2007-08-14 cs.CR math.GR
Cryptanalysis of Song's advanced smart card based password authentication protocol
Song \cite{Song10}最近提出了一种基于密码的认证和密钥建立协议，该协议使用灵巧卡，试图解决Xu，Zhu和Feng \cite{XZF09}提出的先前方案中发现的一些弱点。在本文中，我们提出了对改进的协议的攻击，表明它未能实现声称的安全目标。
2011-11-11 cs.CR
Enhancements to A Lightweight RFID Authentication Protocol
Vajda和Buttyan（VB）提出了一组五个轻量级RFID认证协议。Defend、Fu和Juels（DFJ）对其中两个进行了密码分析- XOR和SUBSET。针对XOR协议，DFJ提出了重复密钥攻击和半字节攻击。本文对原VB的连续会话密钥置换算法中存在的漏洞进行了识别。我们提出了三个增强，以防止DFJ的攻击，并使XOR协议更强大，而不引入额外的资源成本。
2008-10-25 cs.CR
Secure Shell (SSH): Public Key Authentication over Hypertext Transfer Protocol (HTTP)
安全外壳（SSH）协议要求所有实现都支持用于身份验证目的的公钥身份验证方法（“publickey”），因此通过Web浏览器提供SSH客户端的Web应用程序需要支持“publickey”。然而，超文本传输协议（HTTP）中的限制（例如同源策略和对本地资源的有限访问）使得难以执行此类身份验证。在本文档中，提供了一种通过HTTP执行“公钥”认证的系统。确保不会做出任何会对SSH协议造成安全风险的妥协。
2015-06-15 cs.CR cs.NI
A Survey of RFID Authentication Protocols Based on Hash-Chain Method
安全和隐私是RFID通信中固有的问题。已经提出了几种协议来克服这些问题。散列链通常被用于协议中，以提高RFID认证的安全性和隐私性。虽然这些协议能够为RFID安全和隐私问题提供特定的解决方案，但它们未能提供集成的解决方案。本文是一个调查，密切观察这些协议的重点和局限性。
2010-08-14 cs.CR
Preserving Privacy of Mobile Reader Holders in Server-less RFID Authentication and Searching Protocols
随着物联网和普适计算的发展，利用移动RFID阅读器的无服务器RFID认证和搜索协议越来越受到研究者的关注。然而，手机阅读器持有者隐私的泄露是目前研究中被广泛忽视的问题。本文主要研究在无服务器RFID认证和搜索协议中移动阅读器持有者的隐私保护问题。我们提出了一个详细的要求，作为未来协议设计的原则，和一个计划，以提高目前大多数协议。我们应用我们的计划，两个经典的协议。通过与原协议的比较，证明了该方案的安全性和有效性。
2014-04-30 cs.CR
Using HB Family of Protocols for Privacy-Preserving Authentication of RFID Tags in a Population
在本文中，我们提出了一个HB类协议的隐私保护认证的RFID标签，标签可以保持匿名和不可追踪的对手在认证过程中。这种协议的先前提议是基于PRF计算的。相反，我们的协议可以用于低成本的标签，可能无法计算标准的PRF。此外，由于HB协议中的底层计算是非常有效的，我们的协议也减少了阅读器的负载相比，基于PRF的协议。我们提出了一种基于树的方法，取代了基于PRF的认证，从以前的工作与HB+或HB#的过程。我们通过使用底层协议的“轻型版本”和在树的所有级别上共享随机挑战来优化树遍历阶段。这提供了通信资源的显著减少，导致隐私保护协议几乎与底层HB+或HB#一样高效
2009-07-07 cs.CR
Authentication Protocols for Internet of Things: A Comprehensive Survey
在本文中，我们对物联网（IoT）的认证协议进行了全面的调查。具体来说，我们选择并详细研究了在四种环境下为物联网开发或应用的四十多种认证协议，包括：（1）机器对机器通信（M2M），（2）车联网（IoV），（3）能源互联网（IoE）和（4）传感器互联网（IoS）。我们首先回顾了近年来发表的所有调查文章，这些文章侧重于物联网理念的不同方面。然后，我们回顾了物联网认证协议中使用的威胁模型、对策和正式的安全验证技术。此外，我们还以表格的形式提供了物联网认证协议的分类和比较，分为五个方面，即网络模型，目标，主要流程，计算复杂度和通信开销。根据目前的调查，我们确定了开放的问题，并为未来的研究提出了建议。
2016-12-21 cs.CR
Post-Quantum Cryptography: A Zero-Knowledge Authentication Protocol
在本文中，我们提出了一个简单的零知识认证协议，使用非交换代数和广义对称分解问题（GSDP）的一个变化作为单向函数的基本解决方案。只要GSDP问题在计算上难以在非交换代数结构中解决，并且目前属于PQC类别，因为不可能存在量子计算机攻击，就可以确保密码安全性。
2017-03-25 cs.CR
A Survey on Low-cost RFID Authentication Protocols
本文综述了低成本限制下的几种RFID认证协议。低成本RFID主要以有限的安全性和隐私保护来解决。在这项研究中，我们探讨了几个协议与文献中发现的各种认证机制，满足低成本的限制。对这些协议的评估基于数据保护、跟踪保护和前向安全。最后，它的结论是，没有一个低成本的RFID协议完全满足给定的评估的要求。当一个协议满足一个或两个评估时，它不能完全满足第三个评估的要求。这项研究提供了一个新的见解，特别是可用于中小型企业选择合适的RFID协议，以满足他们的需求的RFID文献。
2012-02-03 cs.CR
ZEUS - A Domain-Oriented Fact Comparison Based Authentication Protocol
本文探讨了存在于不同领域的事实，这些事实在其最终结果上具有可比性。文中还介绍了各种域的性质和构成这种单元的事实，给出了作为零知识协议手段的比较实例和使用方法，最后给出了基于上述概念的零知识协议。
2005-08-18 cs.CR
Time-Assisted Authentication Protocol
身份验证是建立服务提供商和客户（C-P）关联的第一步。在移动网络环境中，轻量级的安全认证协议是提高服务持久性的重要因素之一。这项工作提出了一个安全和轻量级的密钥和认证协议套件称为TAP（时间辅助认证协议）。TAP通过基于时间的加密密钥提高了协议的安全性，并通过发出重认证票据降低了认证复杂度。当在网络上移动时，移动客户节点发送重新认证票据以与服务提供节点建立新会话。因此，这降低了认证过程的通信和计算复杂性。在密钥协议套件中，密钥分发者控制密钥生成参数和时间因素，而其他参与者基于密钥生成参数独立地生成密钥链。我们进行了严格的安全性分析，证明了安全强度的TAP使用CSP和秩函数分析。
2017-02-22 cs.CR cs.NI
The 5G-AKA Authentication Protocol Privacy
我们研究了5G移动通信标准中描述的5G-AKA认证协议。这个版本的AKA试图通过使用非对称随机加密来实现比3G和4G版本更好的隐私。尽管如此，我们表明，除了IMSI捕手攻击，所有已知的针对5G-AKA隐私的攻击仍然适用。接下来，我们修改5G-AKA协议以防止这些攻击，同时满足5G-AKA协议的成本和效率约束。然后，我们正式证明我们的协议是sigma-unexpressed。这是一个新的安全概念，它允许对协议隐私进行细粒度的量化。我们的安全性证明是在Bana-Comon不可否认逻辑中进行的。我们还证明了相互认证作为次要结果。
2019-04-03 cs.CR
An Authentication Protocol Based on Combined RFID-Biometric System RFID-Biometric System
射频识别（RFID）和生物识别技术在过去几年中经历了快速的发展，并用于多种应用，例如访问控制。在RFID标签的重要特性中，我们提到了资源的限制（存储器，能量等）。我们的工作重点是设计一个RFID认证协议，它使用生物特征数据，并确认的保密性，认证和隐私。我们的协议需要一个伪随机数发生器，一个强大的哈希函数和生物特征哈希函数。生物特征哈希函数用于优化和保护生物特征数据。对于协议的安全性分析，我们将使用AVISPA和SPAN工具来验证认证和保密性。
2012-07-24 cs.CR
A Multi-Factor Security Protocol for Wireless Payment - Secure Web Authentication using Mobile Devices
以前的Web访问认证系统通常单独使用Web或移动信道来确认远程用户的声明身份。本文提出了一种新的协议，使用多因素认证系统，是安全的和高度可用的。它采用了一种基于交易识别码和SMS的新方法，与传统的登录/密码系统相比，增强了额外的安全级别。该系统提供了一个高度安全的环境，易于使用和部署，不需要对无线网络的基础设施或协议进行任何更改。该无线支付协议被扩展以提供双向认证。
2011-11-13 cs.CR
Efficient Privacy-Preserving Authentication Protocol for Vehicular Communications with Trustworthy
本文提出了一种基于代理重签名的有效可信的有条件隐私保护的VANE-C通信协议。该协议的特点是可信机构（TA）指定路边单元（RSU）将车载单元（OBU）计算的签名转换为相对于TA的公钥有效的签名。此外，所提出的协议提供了先验和后验对策：它不仅可以提供快速的匿名认证和隐私跟踪，但保证车辆到车辆（V2 V）通信的消息可信度。此外，它还减少了通信开销，提供了快速的消息身份验证和低存储要求。我们使用广泛的分析来证明所提出的协议的优点，并将其与以前提出的解决方案进行对比。
2010-08-30 cs.CR
A Security Enhanced Authentication Protocol
本文分析两种最新认证协议，指出其易受重放和修改攻击且存在技术正确性问题，并提出保持性能的改进方案。
2023-12-23 cs.CR
Cryptanalysis on Four Two-Party Authentication Protocols
本文分析了Bindu等人提出的四个认证协议，Goriparthi等人，Wang et al. and Hölbl et al..经过研究，我们发现这些方案的几个弱点。首先，Bindu等人如果恶意用户获得丢失的灵巧卡，则的协议会遭受内部人员冒充攻击。第二，Goriparthi et al.和Wang et al.的协议在密码更改阶段无法承受拒绝服务攻击，即攻击者可以参与该阶段，使用户的密码永远不会在后续的认证中使用。第三，Hölbl et al.的协议容易受到内部攻击，因为合法但恶意的用户可以推断出KGC的秘密密钥。
2010-07-01 cs.CR
Comments on Five Smart Card Based Password Authentication Protocols
在本文中，我们使用廖等人提出的10个安全性要求的灵巧卡为基础的认证协议，检查在这一领域的五个最近的工作。经过分析，我们发现Juang et al. 's，Hsiang et al.’s，Kim等人，和Li et al.的协议在丢失灵巧卡的情况下都会遭受离线密码猜测攻击，而Xu等人的协议在丢失智能卡的情况下会受到离线密码猜测攻击。的受到内部人员冒充攻击。
2010-07-01 cs.CR
Efficient Design for the Implementation of Wong-Lam Multicast Authentication Protocol Using Two-Levels of Parallelism
组通信可以受益于互联网协议（IP）组播协议，以实现有效的消息交换。然而，IP多播不提供任何认证机制。在文献中，提出了许多解决方案来解决这个问题。Wong和Lam协议是目前唯一能同时抵抗丢包攻击和污染攻击的协议。相比之下，它具有较高的计算和通信开销。本文提出了一种有效的Wong和Lam组播认证协议的设计方案。为了解决计算开销问题，我们使用两级并行。为了减少通信开销，我们使用通用消息认证码（UMAC）代替哈希函数。分析了NTRU和椭圆曲线密码签名算法的设计。分析表明，该设计大大减少了Wong-Lam协议的执行时间，使其适用于实时应用。
2012-07-19 cs.CR
SOAP: A Social Authentication Protocol
本文提出SOAP协议，通过身份提供商管理的数字身份实现社交认证自动化，提升消息账户安全性，并基于OpenID Connect构建，已在两个原型中验证。
2024-02-05 cs.CR
Formal Analysis of an Authentication Protocol Against External Cloud-Based Denial-of-Service (DoS) Attack
拒绝服务（DoS）攻击被认为是云计算服务可用性的最大威胁之一。由于云计算系统独特的架构，其检测和防范拒绝服务攻击的方法与传统网络系统有很大的不同。DoS攻击者的主要目标是身份验证协议，因为它被认为是访问云资源的网关。在这项工作中，我们提出了一个基于云的身份验证协议-一个安全地验证云用户，并有效地防止拒绝服务攻击的云计算系统-通过涉及用户在一个高的计算过程。然后，我们分析了协议通过Syverson和Van Oorschot（SVO）逻辑验证协议的认证过程中的云计算系统。
2017-11-22 cs.CR
Cryptanalysis of two mutual authentication protocols for low-cost RFID
射频识别（RFID）技术是一种新兴的自动识别技术，在电子护照、供应链管理、票务等领域有着广泛的应用。然而，研究人员发现RFID技术存在许多安全和隐私问题。近年来，RFID认证协议及其安全缺陷引起了众多研究者的兴趣。本文从多个安全角度分析了Fu等人和Li等人提出的两个最新的RFID认证协议。我们提出了不同的攻击，如反加密攻击和隐私分析这些协议。
2011-02-04 cs.CR
Lightweight Mutual Authentication Protocol for Low Cost RFID Tags
无线射频识别（RFID）技术是普适计算领域最有前途的技术之一。事实上，RFID技术很可能取代条形码技术。虽然它提供了许多优于其他识别系统的优点，但也存在不容易解决的相关安全风险。当为低成本RFID标签设计真正的轻量级认证协议时，由于低成本RFID标签的计算、存储和通信能力极其有限，因此出现了许多挑战。提出了一种低成本RFID标签的双向认证协议。所提出的协议可以防止被动攻击，因为在设计满足低成本RFID标签要求的协议时，主动攻击会被忽视。然而，该协议的实现满足了低成本RFID标签的有限能力。
2010-05-25 cs.CR
Practical Attacks on a RFID Authentication Protocol Conforming to EPC C-1 G-2 Standard
Yeh等人最近提出了一种基于EPC Class-1 Gen. 2标准[1]。他们声称，他们的协议是安全的，可以抵御对抗攻击，并提供前向保密。在本文中，我们将表明，建议的协议没有适当的安全功能。对该协议提出了一种强有力的实用攻击，从而破坏了协议的整体安全性。此外，Yeh等人的协议不保证不可追溯性和向后不可追溯性方面。也就是说，被泄露的标签的所有过去和下一个交易将被对手追踪。
2011-02-04 cs.CR
Cloud-Based Secure Authentication (CSA) Protocol Suite for Defense against DoS Attacks
基于云的服务已成为我们日常软件解决方案的一部分。身份认证过程被认为是这些服务的主要网关。因此，这些门越来越容易受到攻击者的攻击，他们可能会使用拒绝服务（DoS）攻击来永久关闭这些门。有许多身份验证协议足够强大，可以验证身份并保护传统的网络应用程序。然而，当在基于云的应用中使用时，这些认证协议本身可能引入DoS风险。这种风险的引入是由于使用了繁重的验证过程，这可能会消耗云资源并禁用应用程序服务。在这项工作中，我们提出了一种新的基于云的认证协议套件，不仅知道内部的DoS威胁，但也能够抵御外部的DoS攻击者。所提出的解决方案使用了一个多层次的自适应技术来规定的协议参与者的努力。该技术能够识别合法用户的请求，并将其置于身份验证过程队列的前面。身份验证过程的设计方式使基于云的服务器变得无足迹，并完全意识到任何DoS攻击的风险。
2017-11-22 cs.CR
Secure and Energy-Efficient Key-Agreement Protocol for Multi-Server Architecture
认证计划在全球范围内实施，以核实用户和服务器的合法性，以便在不同设施中交换数据。通常，服务器验证用户以提供用于不同目的的资源。但是由于网络系统的庞大性，认证过程变得复杂，因此，针对多服务器架构，不时地提出了不同的认证协议。然而，大多数协议容易受到各种安全攻击，其性能并不高。在本文中，我们提出了一个安全和节能的多服务器系统的远程用户认证协议。结果表明，该协议的效率提高了约44%，所需的通信成本减少了约38%。我们还证明，只有两个因素的身份验证，建议的协议是更安全的早期相关的身份验证方案。
2020-04-19 cs.CR
Aggregating Digital Identities through Bridging. An Integration of Open Authentication Protocols for Web3 Identifiers
针对Web2与Web3身份碎片化问题，提出一种隐私保护的数字身份桥，集成OpenID Connect与去中心化身份，通过DAO用例验证其能聚合身份、改善用户体验，但桥接单向且依赖中心化系统。
2025-01-23 cs.CR cs.DC
A Novel Trigon based Dual Authentication Protocol for Enhancing Security in Grid Environment
最近，为了经常跨网格分布计算应用，已经提出了必要性。这些应用程序依赖于数据传输或数据门户服务以及作业提交等服务。由于网格资源的异构性、动态性和多域性，安全性在网格计算应用中显得尤为重要。身份认证是网格环境中的重要安全挑战。在传统的认证协议中，单个服务器存储敏感的用户凭证，如用户名和密码。当这样的服务器被攻破时，大量的用户密码就会暴露。我们提出的方法使用双重认证协议，以提高在网格环境中的认证服务。该协议利用了三角形的基本概念，并根据三角形的参数进行用户认证。在所提出的协议中，密码被解释和异化成一个以上的单元，这些单元被存储在两个不同的服务器，即，认证服务器和后端服务器。只有当来自两个服务器的组合身份验证方案对用户进行身份验证时，用户才获得访问所请求资源的权限。在网格计算中使用双重认证协议的主要优点是，由于分裂的密码存储在不同的服务器中，对手用户不能通过危及单个统一服务器来获得访问权限。
2010-01-12 cs.CR
On the Use of Key Assignment Schemes in Authentication Protocols
密钥分配方案（KAS）已在加密强制访问控制的背景下得到广泛研究，其中派生密钥用于解密受保护的资源。在本文中，我们将探讨KAS在实体认证协议中的使用，其中我们使用派生密钥来加密挑战。通过将实体与表示特定服务的安全标签相关联，KAS的这种新颖使用允许根据认证策略对实体进行有效认证。加密密钥与每个安全标签相关联，并且证明对适当密钥的了解用作身份验证的基础。因此，通过控制这样的密钥的分发，可以有效地对实体可以被认证的环境以及它们可以获得访问的服务进行限制。在这项工作中，我们将探讨如何开发标准化的协议和新颖的结构，以验证实体作为与特定安全标签相关联的组的成员，同时保护系统中的长期秘密。我们还看到，这样的结构可以允许认证，同时保持匿名性，并且通过包括可信的第三方，我们可以实现个人身份的认证和基于时间戳的认证，而不需要同步时钟。
2013-03-18 cs.CR
E3C: A Tool for Evaluating Communication and Computation Costs in Authentication and Key Exchange Protocol
Department of Computer and Information Technology Engineering, Qazvin Branch, Islamic Azad University, Qazvin, Iran（加兹温伊斯兰阿扎德大学计算机与信息技术工程系）
针对认证与密钥交换协议成本人工核算易出错的问题，提出E3C工具可自动计算并以图表对比协议的计算与通信成本，经测试准确率达99.99%。
2022-12-06 cs.CR
An Authentication Protocol for Future Sensor Networks
认证是无线传感器网络中保证数据安全的重要安全服务之一。传感器节点认证保证了传感器节点收集数据的机密性和有效性，而用户认证保证只有合法用户才能访问传感器数据。在移动无线传感器网络中，传感器和用户节点在网络中移动，并与多个节点交换数据，从而经历多次认证过程。无线传感器网络与物联网（IoT）的集成带来了一种新的无线传感器网络架构以及更严格的安全要求;例如，传感器节点或用户节点可能需要建立多个并发的安全数据会话。对于并发数据会话，重新身份验证过程的频率与并发连接的数量成比例地增加，这使得安全问题更具挑战性。目前可用的认证协议是为自治WSN设计的，并且不考虑上述要求。在本文中，我们提出了一种新的，轻量级的，高效的密钥交换和认证协议套件称为安全移动传感器网络（SMSN）认证协议。在SMSN中，移动节点经历初始认证过程并从基站接收再认证票据。稍后，移动节点可以在建立多个数据交换会话时和/或在跨网络移动时使用该重新认证票据。该方案降低了认证过程的通信和计算复杂性。我们证明了我们的协议的强度与严格的安全性分析和模拟SMSN和以前提出的计划中的自动协议验证工具。最后，我们比较了计算复杂性和通信成本与著名的认证协议。
2017-05-02 cs.CR cs.NI
Mobile IP and protocol authentication extension
移动IP是一个开放的标准，由互联网工程任务组（IETF）RFC 3220定义。通过使用移动IP，您可以在IP网络之间漫游时保持相同的IP地址，保持连接并维护正在进行的应用程序。移动IP对于Internet是可扩展的，因为它基于IP -任何可以支持IP的媒体都可以支持移动IP。
2011-12-17 cs.CR
An Asymptotically Optimal RFID Authentication Protocol Against Relay Attacks
中继攻击是RFID系统的一个主要问题：在认证过程中，对手透明地在验证者和远程合法证明者之间中继消息。我们提出了一个适合于RFID系统的认证协议。我们的解决方案是第一个防止中继攻击而不降低认证安全级别：它最大限度地减少了验证者接受虚假身份证明的可能性，无论是否发生中继攻击。
2008-09-24 cs.CR cs.IT math.IT
LEAP: A Lightweight Encryption and Authentication Protocol for In-Vehicle Communications
控制器局域网（CAN）以其实时性和高可靠性被认为是车载通信的事实标准。不幸的是，CAN总线上缺乏安全保护，使攻击者有机会远程危害车辆。针对CAN总线的安全问题，提出了一种低成本、高效率的轻量级加密认证协议（LEAP）。LEAP利用安全增强的流密码原语为CAN消息提供加密和认证。与最先进的基于消息认证码（MAC）的方法相比，LEAP需要更少的内存，速度快8倍，并且可以阻止最近提出的攻击。
2019-09-23 cs.CR
On the Security of Privacy-Preserving Vehicular Communication Authentication with Hierarchical Aggregation and Fast Response
在[3]中，作者提出了一种用于安全车辆通信的高效安全和隐私保护方案。该方案由四个协议组成：系统设置，STP和STK分发协议，公共字符串同步协议，以及车载通信协议。在这里，我们定义了安全模型的协议，STP和STK分布，以及协议的车辆通信，分别。然后，我们证明了这两个协议是安全的，在我们的模型。
2015-08-07 cs.CR
Authentication by Witness Functions
见证函数作为一种新的证明协议正确性的有效方法，最近被引入到密码协议的文献中。在本文中，我们将它们推广到认证性质。我们展示了如何安全地使用它们，并对Woo-Lam协议的修改版本进行了分析。我们表明，它是正确的认证方面。
2019-03-14 cs.CR
A Secure and Improved Multi Server Authentication Protocol Using Fuzzy Commitment
最近，Barman等人提出了一种使用模糊承诺的多服务器认证协议。作者声称，他们的协议提供匿名性，同时抵抗所有已知的攻击。在本文中，我们分析了Barman等人。的协议仍然容易受到匿名违规攻击和基于窃取智能攻击的冒充，并且存在可扩展性问题。然后，我们提出了一个改进和增强的协议，以克服Barman等人的安全弱点。的方案。使用BAN逻辑和广泛接受的自动AVISPA工具验证了所提出的协议的安全性。BAN逻辑和自动AVISPA以及非正式分析确保了该方案对所有已知攻击的鲁棒性
2020-04-16 cs.CR
Cryptanalysis and enhancement of two low cost rfid authentication protocols
考虑到RFID系统在广泛的应用范围内易于部署，最近对RFID系统结构给予了广泛的关注。由于它的几个优点，许多技术文章发表，以提高其在特定系统实现的能力。最近，一个轻量级的抗去同步RFID认证协议和轻量级绑定证明协议，以保护病人的安全提出。这一贡献提供了足够的证据来证明第一个引入的协议脆弱性去同步攻击。它还提供了其他协议的遭受去同步攻击以及跟踪的标签的运动。本文还提出了适当的解决方案，以修复安全的RFID应用程序的安全缺陷有关的两个协议。
2012-02-09 cs.CR
A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols
本文综述比较15种CAN总线认证协议，从安全要求与实施运行特性评估其优劣，指出内部威胁防护不足，并识别哈希链、混合MAC和非对称加密为更有效方案。
2024-01-19 cs.CR
A Multi-Factor Homomorphic Encryption based Method for Authenticated Access to IoT Devices
本文扩展M2I认证框架，提出HGAKA和HGA两种多对一群组认证协议，结合对称与非对称密码原语实现多因子群组认证，并通过分析验证其安全性和抗攻击能力。
2023-07-06 cs.CR
Towards a Lightweight Continuous Authentication Protocol for Device-to-Device Communication
连续身份验证（CA）已被提出作为对抗复杂网络安全攻击的潜在解决方案，这些攻击利用仅在入口点对用户进行身份验证的传统静态身份验证机制。然而，广泛研究的基于人类用户特征的CA机制无法扩展到连续认证物联网（IoT）设备。随着关键基础设施中设备到设备（d2d）通信的日益普及，这些挑战变得更加严峻。文献中提出的现有d2d认证协议要么容易被颠覆，要么在计算上不可行，无法部署在受限的物联网设备上。鉴于这些挑战，我们提出了一种新的，轻量级的，安全的CA协议，利用通信信道的属性和可调的数学函数来生成动态变化的会话密钥。我们初步的非正式协议分析表明，该协议是抵抗已知的攻击向量，因此具有很强的潜力，部署在安全的关键和资源受限的d2d通信。
2020-10-11 cs.CR
A Novel Protocol Using Captive Portals for FIDO2 Network Authentication
本文提出 FIDO2CAP 协议，将 FIDO2 认证器作为安全密钥和通行密钥集成至强制门户网络认证，并通过 15 名用户的原型可用性实验验证，首次系统化实现网络认证向 FIDO2 范式的适配。
2024-02-20 cs.CR cs.NI cs.SE
Authentication and Encryption in GSM and 3GUMTS: An Emphasis on Protocols and Algorithms
移动通信已经渗透到我们生活的方方面面，成为21世纪人类文明赖以生存的主要依托之一，因此，安全性是通信技术必须解决的重大问题。在本文中，我们将在GSM和3G/UMTS的认证和加密的目标。为了清楚地理解事情是如何工作的，我们将首先介绍每个网络的体系结构、主要组件、认证算法、使用的协议和KASUMI块密码。
2012-04-07 cs.CR cs.NI
Passive Cryptanalysis of Unconditionally Secure Authentication Protocol for RFID Systems
最近，Alomair等人提出了第一个用于低成本RFID系统的Unconscious Secure相互认证协议（UCS-RFID）。UCS-RFID的安全性依赖于五个动态密钥，这些密钥在每次协议运行时使用从读取器秘密发送到标签的新的随机数（nonce）进行更新。我们的研究结果表明，在最高的安全级别的协议（安全参数= 256），推断一个nonce是可行的概率为0.99窃听（观察）约90运行的协议。找到一个随机数使被动攻击者能够恢复协议的所有五个秘密密钥。为此，本文提出了一种三阶段概率方法。我们的攻击恢复的秘密密钥的概率增加访问更多的协议运行。我们还表明，跟踪使用此协议的标签也是可能的，即使较少运行的协议。
2012-01-17 cs.CR
A short review on quantum identity authentication protocols: How would Bob know that he is talking with Alice?
量子密钥分发（QKD）方案的出现为保密通信提供了一个新的维度，与经典密码学相比，量子密码学可以提供无条件的安全性。然而，QKD方案的成功实现需要身份认证作为先决条件。身份认证方案中的安全漏洞可能导致整个安全通信方案的脆弱性。因此，身份认证是非常重要的，在过去的三十年中，已经提出了几种使用量子资源的身份认证方案。这些协议，现在被称为量子身份认证（QIA）协议的时间顺序的发展，在这里简要回顾，特别注意其发展中所涉及的因果关系。根据所需的量子资源对现有协议进行了分类，并分析了它们的优缺点。此外，在QIA协议的分类过程中，可以观察到，现有的协议也可以根据用于设计协议的固有计算任务分为几组。这些对称性的实现导致了设计一套新的量子身份认证协议的可能性，这些协议是基于现有的安全计算和通信任务的方案。对协议的安全性也进行了分析。
2021-12-08 cs.CR quant-ph
Detection and Prevention of New Attacks for ID-based Authentication Protocols
信息和网络技术的快速发展推动了各种新的计算范式的出现，例如分布式计算和边缘计算。这也使得越来越多的网络企业能够同时提供多种不同的服务。为了保证这些服务只能被授权用户访问，许多基于口令和灵巧卡的多服务器认证方案被提出。在本文中，我们回顾了几个动态的基于身份的口令认证方案的多服务器环境。针对其中四个方案提出了新的攻击，证明对手可以冒充合法或虚构的用户。这些攻击的影响是无法实现主要的安全要求：身份验证。因此，分析方案的安全性被证明是妥协。我们分析了这四个动态的基于ID的方案，并讨论了新的攻击成功的原因。此外，我们提出了一套新的设计准则，以防止这种可利用的弱点，动态基于身份的认证协议。最后，我们将建议的指导方针，分析协议，并证明违反这些准则会导致不安全的协议。
2021-01-29 cs.CR
Expected loss analysis of thresholded authentication protocols in noisy conditions
最近已经提出了许多认证协议，其中在持续$n$轮的阶段期间执行认证的至少某些部分，而没有纠错。这需要为检测到的错误数量分配可接受的阈值。本文介绍了一个框架，使预期损失分析，在这个家庭中的所有协议。此外，计算简单的方法来获得接近最佳值的阈值，以及轮数的建议。最后，提出了一种自适应选择轮数和阈值的方法。
2010-09-01 cs.CR cs.NI
A Generic Privacy-Preserving Protocol For Keystroke Dynamics-Based Continuous Authentication
连续身份验证利用某些用户特征的自动识别来进行无缝和被动身份验证，而无需用户注意。这些特征可以分为生理生物特征和行为生物特征。提出了一种基于用户输入模式的击键动力学认证方法。然而，已经指出，使用生理生物测定和行为生物测定的连续认证会带来隐私风险，暴露个人特征和活动。在本文中，我们考虑了以前提出的基于动态的认证方案，没有隐私保护属性。在这方面，我们提出了一个通用的隐私保护版本的身份验证方案，其中所有的用户功能都是加密的-防止这些身份验证服务器的披露。我们的计划是通用的，在这个意义上，它假设同态密码原语。由于我们的协议的同态密码属性的加密数据的基础上进行认证。
2022-09-14 cs.CR
