基于椭圆曲线密码的节点身份认证和会话密钥管理算法
An Identity based Node Authentication and Session Key Management Algorithm using Elliptic Curve Cryptography
摘要：
这篇论文已被撤回修改。
英文摘要：
This paper has been withdrawn for modification.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
基于视觉密码的图像认证
Image Authentication using Visual Cryptography
本文提出了一种结合视觉密码学和公钥密码学的图像加密和认证技术。一个突出的攻击涉及生成假的份额欺骗诚实的用户已经被描述和示范的建议系统采用集中式服务器来生成份额和验证它们的请求的基础上，作为一个计数器所描述的攻击。
cs.CR
基于存钱罐的双锁密码认证方案
Authentication Using Piggy Bank Approach to Secure Double-Lock Cryptography
存钱罐的想法允许单向加密信息，只有授权方才能访问。在这里，我们将展示如何使用存钱罐的想法来验证各方，以对抗可能危及双锁密码协议的中间人（MIM）攻击。我们称这种方法为双签名双锁加密，它可以以超越基于散列的消息身份验证的方式实现。
cs.CR
后量子密码学：一种零知识认证协议
Post-Quantum Cryptography: A Zero-Knowledge Authentication Protocol
在本文中，我们提出了一个简单的零知识认证协议，使用非交换代数和广义对称分解问题（GSDP）的一个变化作为单向函数的基本解决方案。只要GSDP问题在计算上难以在非交换代数结构中解决，并且目前属于PQC类别，因为不可能存在量子计算机攻击，就可以确保密码安全性。
cs.CR
基于视觉密码的虹膜身份认证
Secure Iris Authentication Using Visual Cryptography
生物识别技术处理基于生理或行为特征识别人或验证人的身份的自动化方法。视觉密码是一种秘密共享方案，其中秘密图像被加密成独立的份额，不泄露关于原始秘密图像的信息。由于生物特征模板存储在集中式数据库中，由于安全威胁，生物特征模板可能被攻击者修改。如果生物特征模板被更改，授权用户将不被允许访问资源。为了解决这个问题，可以应用视觉密码方案来保护虹膜模板。视觉密码学提供了很好的方法来满足这种安全需求，以及额外的身份验证层。
cs.CR
计算机安全趋势：密码学、用户认证、拒绝服务和入侵检测
Trends on Computer Security: Cryptography, User Authentication, Denial of Service and Intrusion Detection
新一代的安全威胁是由数字货币和实时应用程序推动的，所有用户都在开发新的方式在互联网上进行通信。安全性在所有用户及其便携式设备的隐私和匿名需求中不断发展。每个领域的新技术都证明，用户需要将安全功能集成到他们的通信应用程序中，移动设备，互联网和身份管理的并行系统。这篇评论介绍了计算机安全的主要领域的关键概念，以及它在过去几年中是如何发展的。这项工作的重点是密码学，用户身份验证，拒绝服务攻击，入侵检测和防火墙。
cs.CR
针对城市交通场景，提出了一种适用于RFID的轻量级认证协议的混合密码算法
Providing a hybrid cryptography algorithm for lightweight authentication protocol in RFID with urban traffic usage case
如今，物联网（IoT）是通过通信网络实现信息连接和传输的新兴技术之一。物联网的主要思想是广泛存在的对象，如移动设备，传感器和RFID。随着城市交通量的增加，现有的基于物联网的智能城市交通管理系统可能至关重要。因此，本文重点研究了基于RFID的城市交通安全问题。在我们的方案中，RFID标签被选为本文的研究对象。在本文中，我们提出了一个相互认证协议，导致基于混合密码的隐私。此外，提出了一种可以高速读取的RFID标签的认证过程。该协议试图降低计算的复杂性。同时，该方法可以抵御欺骗标签和阅读器，标签跟踪和重放攻击。
cs.CR
更多相关论文收起更多论文
5G-AKA-HPQC：具备前向安全性的抗量子5G主认证混合后量子密码协议
5G-AKA-HPQC: Hybrid Post-Quantum Cryptography Protocol for Quantum-Resilient 5G Primary Authentication with Forward Secrecy
针对5G AKA协议的可链接性漏洞及量子计算威胁，提出兼容现有标准的5G AKA HPQC混合后量子密码协议，结合ECIES与PQC KEM派生密钥增强安全性，经SVO逻辑、ProVerif验证安全且兼顾效率，为量子安全移动认证标准化提供参考。
cs.CR
一种基于密码学的身份认证模型
An authentication model based on cryptography
本文提出了一种基于用户卡的身份认证技术，以改进允许用户远程访问的系统中的身份认证过程，提高用户信息交换的安全性。在该技术中，服务器执行两个功能，第一个功能，注册用户，并向他提供用户ID、PIN码，并且用户私人卡包含保密信息，该保密信息用于通过使用两种加密来加密用户消息：使用RC 4-Pr的对称加密和使用RSA的非对称加密。第二个功能，如果用户需要，则分发用户的公用卡，其中用户将自己的认证码与自己的用户ID和接收方用户ID一起发送给认证检查，然后服务器将用户公用卡发送给接收方用户，这样发送方用户可以将消息发送给接收方用户，而无需再次返回服务器。采用RC 4-Pr和RSA加密实现了系统的机密性，采用RSA加密实现了消息认证、用户签名和双向秘密密钥。本文还实现了文献[1]中提出的RC 4-pr算法，该算法对基本RC 4算法的关键弱点进行了改进。
cs.CR
基于身份密码的机器人自组网认证与加密
Authentication and encryption for a robotic ad hoc network using identity-based cryptography
在某些情况下，一个地方的通信可能会受到影响，完全丢失，甚至不存在。在这些情况下，MANN起着重要的作用，允许使用网络的不同节点建立通信点，以使用分散式通信到达目的地。本文提出了一个机器人移动自组网，一个分散的网络，使用机器人作为其节点，它允许移动网络节点到所需的位置远程实现。为此，每个机器人都有一个Raspberry Pi作为核心，能够执行音频和视频流，远程控制机器人，跟踪物体和部署无线网络。为了保护网络，使用不同的安全机制，允许不同节点在网络上进行安全认证，并对它们之间传输的信息进行加密。所有通信都通过基于身份的密码学保护，特别是基于身份的签密方案。
cs.CR
可扩展的后量子密码学认证
Extensible Post Quantum Cryptography Based Authentication
University of Calgary（卡尔加里大学）
本文提出了一种基于格的量子安全协议，用于机器对机器认证，旨在提升受限环境下的安全性和未来适应性。
cs.CR
基于椭圆曲线密码的会话初始协议双向认证方案的弱点
Weakness in a Mutual Authentication Scheme for Session Initiation Protocol using Elliptic Curve Cryptography
会话初始化协议（SIP）是一种功能强大的信令协议，它控制Internet上的通信，建立、维护和终止会话。SIP支持的服务同样适用于移动和无处不在的计算世界。2009年，Tsai提出了一个认证密钥协商方案作为SIP的增强。最近，Arshad等人证明了Tsai的方案容易受到离线密码猜测攻击和被盗验证者攻击。他们还指出，蔡的方案没有提供已知密钥保密和完美的前向保密。为了克服这些弱点，Arshad等人还提出了一种改进的基于椭圆曲线离散对数问题的SIP双向认证方案，并声称他们的方案可以抵御各种攻击。在本文中，我们做了一个密码分析Arshad等人。的计划，并表明，Arshad等。的方案容易受到密码猜测攻击。
cs.CR
云环境中数据分析服务的动态多方身份验证
Dynamic Multiparty Authentication of Data Analytics Services within Cloud Environments
业务分析流程通常由经过编排的协作服务组成，这些服务由来自多个云系统（在不同的安全领域）的用户使用，需要在运行时动态参与。如果位于不同安全领域的异构云系统没有直接的身份验证关系，那么实现安全协作是一个相当大的技术挑战。为了解决这一安全挑战，需要一个新的身份验证框架，通过向会话的所有参与者分发公共会话密钥，在业务分析服务实例和用户之间建立信任。我们通过设计和实现一个安全的多方身份验证框架的动态交互，为不同的安全领域的成员表示需要访问编排的服务的情况下，这一挑战。这种新颖的框架利用了不同安全领域中的会话成员之间的信任关系，使用户能够获得访问远程领域中的云资源的安全凭证。该机制帮助云会话用户验证其会话成员身份，从而提高多方会话中验证过程的性能。我们看到这个框架的适用性超越了多个云基础设施，适用于任何可能存在多个安全领域的场景，例如新兴的物联网（IoT）。
cs.CR
会话发起协议中的无公钥认证机制
Towards Public Key Infrastructure less authentication in Session Initiation Protocol
会话发起协议（SIP）已经成为用于互联网协议语音（VoIP）信令的最主要协议。SIP协议的安全性是VoIP通信的一个重要考虑因素，因为流量是在不安全的IP网络上传输的。SIP中的认证过程从基于预共享秘密的解决方案到基于公钥基础设施（PKI）的解决方案。然而，由于基于PKI的解决方案的局限性，一些无PKI认证机制被提出。本文旨在介绍SIP中使用的或与SIP一起使用的不同认证方法的概述。我们首先强调SIP在VoIP通信的背景下的安全问题。然后我们说明了有关SIP认证机制的当前活动，包括研究界的最新发展和互联网工程任务组（IETF）内的标准化工作。最后，我们分析了这些方法的安全方面。
cs.CR
基于格密码的抗量子RFID认证方案
Quantum-Resistant Authentication Scheme for RFID Systems Using Lattice-Based Cryptography
Indian Institute of Technology Bombay（印度理工学院孟买分校）
本文提出一种新型抗量子RFID认证方案，利用格密码中的不均短整数解问题实现抗量子性，保障读写器-服务器和标签-读写器通信链路的安全性，通过形式化验证和安全性分析，展示其在MITM、重放等攻击下的强安全性。
cs.CR
基于Hilbert矩阵的会话密钥密码体制
Hilbert Matrix Based Cryptosystem using a Session Key
密码学通过提供数据加密和其他用户身份验证功能来保护用户。这项技术让电子信息的接收者验证发送者，确保信息只能被预期的人阅读，并向接收者保证信息在传输过程中没有被更改。经典密码分析涉及分析推理、数学工具的应用和模式发现的有趣组合。所提出的工作的目标是提出一种新的加密方法的基础上的特殊矩阵称为希尔伯特矩阵的认证和保密性，并提出一个模型的保密性和认证使用共享密钥密码系统的概念，数字封装使用会话密钥。在目前的工作中，提出了各种算法的加密和认证的基础上希尔伯特矩阵使用会话密钥。
cs.CR
基于后量子密码和重放攻击的量子密钥分发认证
Authentication of quantum key distribution with post-quantum cryptography and replay attacks
随着量子计算机的发展，传统密码系统面临着越来越严重的安全威胁。幸运的是，量子密钥分发（QKD）和后量子密码（PQC）是两种具有抗量子安全性的密码机制，都将成为未来信息安全的重要解决方案。但是，两者都不是完美的，它们是互补的。量子密钥分发具有后量子密码所不具备的无条件安全性，PQC可以为QKD网络提供安全方便的认证。本文提出了两种基于PQC的协议来实现QKD数据后处理的完全认证，并且只需要假设PQC算法的短期安全性就可以保证分布式密钥的长期抗量子安全性。我们发现，对于上述两个认证协议，攻击者不能成功地实施重放攻击。这些认证协议可以解决当前预共享密钥认证在大规模量子密钥分发网络应用中存在的问题，有望实现具有实际可操作性和抗量子安全性的密钥分发机制，有利于推动量子密钥分发网络的部署和应用。
cs.CRquant-ph
改进方案仍然容易受到并行会话攻击
The Modified Scheme is still vulnerable to the parallel Session Attack
2002年，Chien Jan Tseng提出了一种使用灵巧卡的高效远程用户认证方案。–– 2004年，W. C. Ku和S. M. Chen提出了一种利用灵巧卡的有效的远程用户认证方案，以解决Chien等人的安全问题。8217; s方案。最近，Hsu和Yoon等人指出了Ku和Chen方案的安全性弱点，Yoon等人对Ku和Chen方案的口令修改阶段进行了改进，并提出了一种新的基于灵巧卡的高效远程用户认证方案。’’分析了Yoon等人的改进方案仍然容易受到并行会话攻击。
cs.CR
一种实现Internet用户认证和安全Internet服务的方法
A method to Implement the Kerberos User Authentication and the secured Internet Service
本文提出了一种使用公钥密码学的PKINIT_AS VPN 5认证系统，以及在IPSec VPN中实现gssapi_krb认证方法和使用它的安全Internet服务的方法
cs.CR
在IMS服务认证中集成基于身份的密码学
Integrating identity-based cryptography in IMS service authentication
IP多媒体子系统（IMS）是目前一个很有前途的研究领域。许多正在进行的工作有关的安全性和性能的就业介绍给研究界。虽然安全和数据隐私方面在国际监测系统的全球目标中非常重要，但迄今为止很少受到关注。多媒体业务的安全访问是基于IMS体系结构之上的SIP和HTTP摘要。该标准部署了AKA-MD5用于终端认证。第三代合作伙伴计划（3GPP）提供了通用自举架构（GBA）以在通过HTTP访问多媒体服务之前对订户进行认证。在本文中，我们提出了一个新的IMS服务认证方案，使用基于身份的密码（IBC）。这种新的方案将导致更好的性能时，有同时使用基于身份的批量验证的认证请求。分析了新协议的安全性，并对其密码操作进行了性能评估
cs.CRcs.MM
隐私保护认证：理论与实践
Privacy-Preserving Authentication: Theory vs. Practice
本文探讨了隐私保护认证在理论与实践中的差距，分析了零知识证明等密码学原语实现匿名凭证的潜力，并以EUDIW为例研究了其广泛采用的障碍及向后量子密码学的过渡。
cs.CR
网络和主机特性对远程桌面会话中击键模式的影响
Impact of Network and Host Characteristics on the Keystroke Pattern in Remote Desktop Sessions
基于生物动力学的认证是一种方便的生物识别方法，易于使用，透明且便宜，因为它不需要专用传感器。作为多因素身份验证的一部分，击键身份验证可用于远程显示访问，以保证在访问控制阶段或整个会话期间使用远程连接系统的安全性。本文探讨了如何网络条件和额外的主机交互可能会影响的行为模式时，在一个远程桌面应用程序的情况下使用的网络。我们专注于相邻键的时间，并通过计算参考配置文件和由此产生的配置文件之间的欧氏距离的变化，这种损害调查这种影响。实验结果表明，拥塞延迟的变化，无论是由相邻的流量源或额外的远程桌面交互产生的，有实质性的影响的欧几里德距离，这反过来可能会影响生物认证算法的有效性。结果还表明，远程桌面协议中的数据流没有优先级，因此额外的流量将对验证时间产生重大影响，这使得连续身份验证对远程访问的有效性降低，而更适合一次性登录。
cs.CR
RFID身份验证，计算安全中的高效主动信息安全
RFID Authentication, Efficient Proactive Information Security within Computational Security
我们考虑RFID标签（例如，射频识别，RFID标签）和RFID验证器。提出了一种主动信息安全方案。该方案是基于这样的假设，即在每n个连续的通信会话中的至少一个期间交换的信息不暴露给对手。标签和验证器维护由成对异或条目重复刷新的n个条目的向量，其中n个条目的新向量由标签随机选择并作为每个通信会话的一部分发送到验证器。一般情况下，对手不听任何n个连续的通信会话中的k > 0会话也被认为是。证明了在任意n个连续通信会话期间使用的随机数的数目的下界n（k+1）。换句话说，我们证明了一个算法必须使用至少n（k+1）个新的随机数在任何n个连续的通信会话。然后提出了一个仅使用O（nlog n）新随机数的随机化方案。基于信息论安全方案的计算安全方案用于确保即使在敌手监听所有信息交换的情况下，标签与验证者之间的通信也是安全的。
cs.CR
用于VPN认证的基于哈希签名CA的基于时间的状态管理
Time-Based State-Management of Hash-Based Signature CAs for VPN-Authentication
针对IPsec VPN认证向后量子密码学迁移的需求，提出基于XMSS哈希签名方案与时间状态管理的设计，通过短期叶证书实现量子安全，并在OpenBSD中实现低带宽与低计算开销。
cs.CR
利用环境光传感器进行去认证
De-authentication using Ambient Light Sensor
本文提出利用内置环境光传感器的去认证方法DEAL，通过检测用户离开办公桌自动撤销登录会话，实验显示可在4秒内以89.15%命中率完成去认证，有效抵御午餐时间攻击。
cs.CR
基于椭圆曲线密码的智能电网通信双向认证方案的生物特征改进方法
Modification in Elliptic Curve Cryptography based Mutual authentication scheme for smart grid communication using biometric approach
针对现有基于椭圆曲线密码和生物特征的智能电网双向认证协议缺少密码与生物特征更新阶段的问题，本文补充了对应更新阶段，完善了协议功能。
cs.CRmath.AGmath.AT
基于Haar小波的保密Golden密码算法
Confidential Algorithm for Golden Cryptography Using Haar Wavelet
在解决数字信号保护问题时，最重要的考虑技术之一就是黄金矩阵。黄金矩阵可用于创建一种新的密码学，称为黄金密码学。许多研究论文证明，该方法快速、技术实现简单，可用于数字信号的密码保护。本文介绍了一种基于Haar小波和黄金矩阵相结合的加密技术。这些组合在对数据进行自适应哈夫曼编码压缩后进行，以减小数据量，去除冗余数据。这一过程将提供多种安全服务。此外，消息认证码（MAC）技术可以用来提供认证和该方案的完整性。该方案通过数据压缩、密钥生成、加密、解密和通信端解压缩五个阶段来实现。
cs.CR
量子密钥分发的后量子密码认证研究
On Post-Quantum Cryptography Authentication for Quantum Key Distribution
针对量子密钥分发传统预共享密钥认证的可扩展性瓶颈，提出结合后量子密码的公钥基础设施方案，可抵御量子攻击，在有界敌手模型下实现安全认证与可扩展量子网络。
cs.CRquant-ph
基于后量子密码学的双向认证密钥交换协议及行业应用：即时通讯案例研究
Post-Quantum Cryptography-Based Bidirectional Authentication Key Exchange Protocol and Industry Applications: A Case Study of Instant Messaging
Chunghwa Telecom Laboratories（中华电信实验室）；Chaoyang University of Technology（朝阳科技大学）；National Institute of Informatics（信息学研究所）；Feng Chia University（逢甲大学）
本文提出基于后量子密码学的双向认证密钥交换协议，结合PQC-DSA和PQC-KEM双用途证书，实现双向认证与加密，并通过即时通讯应用验证其可行性。
cs.CRcs.NI
经典认证辅助的三阶段量子协议
Classical Authentication Aided Three-Stage Quantum Protocol
本文对Kak的三阶段协议进行了改进，使其能保证信息的安全传输。虽然避免中间人攻击是我们在三阶段协议中引入经典认证的主要目标，但我们也受益于所选经典认证协议的固有优势。我们尝试在量子密码协议中实现密钥分发中心、会话密钥、时间戳和随机数等思想。
cs.CR
QKD实体源认证：后量子密码学的纵深防御
QKD Entity Source Authentication: Defense-in-Depth for Post Quantum Cryptography
本文评估混合QKD/PQC纵深防御策略，重点考察初始QKD硬件实体源认证对防范中间人攻击的充分性。
cs.CRcs.ETquant-ph
Universal Session Protocol：缓解未认证远程代码执行
Universal Session Protocol: Mitigating Unauthenticated Remote Code Execution
提出Universal Session Protocol在TCP/IP模型中增加会话层，要求在应用处理数据前完成认证，以消除未认证数据处理，缓解匿名远程代码执行漏洞。
cs.CRcs.NI
The Qey：FIDO2中后量子密码学的实现与性能研究
The Qey: Implementation and performance study of post quantum cryptography in FIDO2
Centre of Excellence, Artificial Intelligence & Robotics (AIR), School of Computer Science and Engineering VIT-AP University（维特-安得拉大学计算机科学与工程学院人工智能与机器人卓越中心）；DigitalFortress Private Limited（数字堡垒私人有限公司）
本研究针对FIDO2现有经典签名算法无法抵御量子攻击的问题，提出采用基于Crystals Dilithium的ML-DSA作为后量子签名标准，并对比其与经典算法的性能与安全性。
cs.CRcs.ET
密码学是不够的：对认证GNSS信号的中继攻击
Cryptography Is Not Enough: Relay Attacks on Authenticated GNSS Signals
民用全球导航卫星系统容易受到信号欺骗攻击，目前正在提出基于密码认证的对策来防范这些攻击。伽利略和GPS目前都在测试基于延迟密钥公开的广播认证技术，以验证导航消息的完整性。这些身份验证机制已被证明是安全的，可以防止现在记录和以后重放的攻击，因为导航消息在密钥被释放后变得无效。这项工作分析了密码保护的GNSS信号的安全保证，并显示了欺骗接收器到任意位置而不破坏任何密码操作的可能性。与以前的工作相比，我们证明了攻击者的能力，接收信号接近受害者接收器，并产生欺骗信号的不同的目标位置，而不修改导航消息的内容。我们的策略利用了用于估计GNSS接收器中的伪距的基本公共接收和传输时间方法，从而使任何加密认证无用。我们使用开源工具，商业GNSS信号发生器和软件定义的无线电硬件平台的组合来评估我们对商业接收器（ublox M9 N）和软件定义的GNSS接收器（GNSS-SDR）的攻击。我们的研究结果表明，它是可能的欺骗受害者接收器的位置，距离真实位置约4000公里，而不需要任何高速通信网络或修改消息内容。通过这项工作，我们进一步强调了即使所有通信都受到加密保护，也要确保基于广播信号的定位系统的基本限制。
cs.CR
移动边缘计算环境中认证与密钥建立协议的密码分析
Cryptanalysis of authentication and key establishment protocol in Mobile Edge Computing Environment
本文对MEC环境中Wu等人提出的认证与密钥建立协议进行密码分析，发现其存在密钥计算攻击、用户仿冒和可追踪性等漏洞，导致用户长期秘密暴露。
cs.CR
高阶密码学（英语：Higher Order Cryptography）（Long Version）
On Higher-Order Cryptography (Long Version)
第二类构造在密码学中大量存在：加密和认证方案的对手，如果活跃的话，被建模为可以访问预言机的算法，即二阶算法。但是，如何使密码方案本身更高阶呢？本文回答了这个问题，首先描述了为什么高阶密码学作为一个有趣的研究对象，然后展示了概率多项式时间算法的概念如何可以推广到严格高于2阶的算法，最后证明了一些关于高阶密码学原语，即认证方案和伪随机函数存在性的肯定和否定结果。
cs.CRcs.LO
基于哈希函数和椭圆曲线密码的无线传感器网络密钥管理系统
Key management system for WSNs based on hash functions and elliptic curve cryptography
由于恶劣的环境和无线通信信道，安全机制是无线传感器网络（WSNs）的基本要求。一对共享密钥的存在是许多这些安全机制的先决条件;密钥管理系统解决的任务。近年来，提出了一种基于公钥密码学（PKC）的能量有效的方法。我们分析了该协议，并表明它是容易受到拒绝服务（DOS）攻击和对手可以耗尽内存和电池的节点。然后，我们分析了这个协议，并表明，使用更有知识的BS这个漏洞可以非常有效地解决。基于这一观察，我们提出了一个修改版本的协议，实现即时认证，可以防止DOS攻击。我们表明，改进后的协议实现了即时认证的代价是1.82兆焦耳的额外能量消耗，同时保留其他可取的基本方法的特点。
cs.CR
一种面向未来传感器网络的认证协议
An Authentication Protocol for Future Sensor Networks
认证是无线传感器网络中保证数据安全的重要安全服务之一。传感器节点认证保证了传感器节点收集数据的机密性和有效性，而用户认证保证只有合法用户才能访问传感器数据。在移动无线传感器网络中，传感器和用户节点在网络中移动，并与多个节点交换数据，从而经历多次认证过程。无线传感器网络与物联网（IoT）的集成带来了一种新的无线传感器网络架构以及更严格的安全要求;例如，传感器节点或用户节点可能需要建立多个并发的安全数据会话。对于并发数据会话，重新身份验证过程的频率与并发连接的数量成比例地增加，这使得安全问题更具挑战性。目前可用的认证协议是为自治WSN设计的，并且不考虑上述要求。在本文中，我们提出了一种新的，轻量级的，高效的密钥交换和认证协议套件称为安全移动传感器网络（SMSN）认证协议。在SMSN中，移动节点经历初始认证过程并从基站接收再认证票据。稍后，移动节点可以在建立多个数据交换会话时和/或在跨网络移动时使用该重新认证票据。该方案降低了认证过程的通信和计算复杂性。我们证明了我们的协议的强度与严格的安全性分析和模拟SMSN和以前提出的计划中的自动协议验证工具。最后，我们比较了计算复杂性和通信成本与著名的认证协议。
cs.CRcs.NI
Mega Key认证机制
Mega Key Authentication Mechanism
对于安全通信，不仅要使用具有良好和强大密钥的强大密码术，而且要实际确保所使用的密钥是真实的，并且来自期望与之通信的联系人。否则，可能会受到模仿或中间人（MitM）攻击。Mega通过为联系人及其密钥提供分层身份验证机制来解决这个问题。为了避免使用多种类型的密钥和密钥对用于不同目的时的任何麻烦，整个身份验证机制被简化为单个“身份密钥”。
cs.CR
位置增强的认证密钥交换
Location-Enhanced Authenticated Key Exchange
我们介绍LOCATHE（位置增强的认证密钥交换），一个通用的协议，池的位置，用户属性，访问策略和所需的服务到一个多因素的身份验证，允许两个对等方建立一个安全的，加密的会话和执行相互认证与预共享的密钥，密码和其他认证因素。LOCATHE致力于：（1）通过临时会话密钥的前向保密性;（2）通过零知识密码证明（ZKPP）的安全性，使得不能从交换机学习密码;（3）不仅使用位置，而且使用从用户到服务的多个认证因素的能力;（4）提供两层隐私认证方案，其中可以基于用户的属性来认证用户，（隐藏她的唯一标识），或者具有完整的个人认证;（5）采用分散式或多权限密文策略基于属性的加密的表现力和灵活性，允许多个服务提供商控制其各自的密钥生成和属性。
cs.CR
适用于带宽受限或非地面网络以及功率受限设备的实用后量子密码学
Practical Post-Quantum Cryptography for Bandwidth Constrained or Non-Terrestrial Networks, and Power Constrained Devices
University of Colorado Boulder（科罗拉多大学博尔德分校）
研究针对带宽或功率受限网络中后量子加密认证成本高的问题，提出用共享密钥取代数字证书的加密框架，结合密钥分发中心等技术，相比传统方法减少了相关资源消耗，保留安全特性，适用于多种应用场景。
cs.CR
基于MANETS的分布式PKI中BLS签名的节点认证
Node Authentication Using BLS Signature in Distributed PKI Based MANETS
移动自组织网络中的节点认证是一项具有挑战性的任务，由于其动态和资源约束的基础设施。为此，MANETS采用了公钥密码学和基于身份的密码学两种方法。在公钥基础设施（PKI）中，证书颁发机构（CA）负责密钥管理。为了适应移动自组网，CA的工作必须是分布式的。MANET节点之间共享主秘密密钥，实现无中心的自组织网络，密钥共享基于二元多项式的Shamir秘密共享方案，实现节点的完全自管理。我们考虑了基于PKI的场景，并提出了一个新的方案来认证一个节点使用BLS签名，这是重量轻，与现有的方案相比，从而使其适用对于MANET。
cs.CR
WACA：可穿戴设备辅助连续身份验证
WACA: Wearable-Assisted Continuous Authentication
传统认证系统中的一次性登录过程不能保证所识别的用户在整个会话期间都是实际用户。然而，在不降低用户便利性的情况下，有必要在整个登录会话期间周期性地重新验证用户身份。连续身份验证可以解决这个问题。然而，现有的方法要么不可靠，要么不可用。在本文中，我们介绍了一种可用的和可靠的方法称为可穿戴式辅助连续认证（WACA）。WACA依赖于基于传感器的身份验证动态，其中通过可穿戴设备的内置的传感器（例如，智能手表），而用户正在打字。我们实现了WACA框架，并在真实用户的真实设备上评估了其性能。WACA的实证评估表明，WACA是可行的，其出错率低至1%，30秒的处理时间和23%，20秒。计算开销是最小的。此外，我们还针对不同的攻击场景测试了WACA。WACA能够以非常高的准确率（99.2%）识别内部威胁，并且能够抵御强大的对手，如模仿和统计攻击者。
cs.CR
辫子群密码体制中的根抽取问题
The root extraction problem in braid group-based cryptography
辫子群中的根抽取问题如下：给定辫子$β\in \mathcal{B}_n$和一个数$k\in \mathbb{N}$，找到$α\in \mathcal{B}_n$使得$α^k=β$。在过去的几十年里，人们提出了许多基于根抽取问题的密码体制，如认证方案和数字签名。在本文中，我们首先描述了这些密码系统周围的辫子群。然后，我们证明，在一般情况下，这些认证方案和数字签名是不安全的，为他们每个人提出了一个可能的攻击。
cs.CRmath.GR
一种基于通信协议方言的服务器认证框架
A Framework for Server Authentication using Communication Protocol Dialects
在当今世界，计算机网络已变得易受众多攻击。在无线和有线网络中，最常见的攻击之一是中间人攻击，其中会话劫持、上下文混淆攻击是最常见的攻击。潜在的攻击者可能有足够的时间针对这些漏洞发起攻击（例如将目标请求重新路由到恶意服务器或劫持流量）。解决这一问题的可行策略是，通过动态改变系统属性、配置并创建唯一指纹来识别源。然而，现有的指纹工作主要集中在较低级别的属性（如IP地址），只有这些类型的属性是限制突变。我们开发了一种新的系统，称为验证Pro，提供服务器认证使用通信协议方言，使用客户端-服务器架构的基础上定制的通信交易的网络协议。对于每个会话，特定的握手序列将被用作方言。因此，给定上下文，通过建立一次性用户名和密码，我们在整个会话中使用方言作为每个请求的身份验证机制（例如，在FTP中获取文件名），这强制执行连续身份验证。具体来说，我们在客户端和服务器上都利用了机器学习方法来触发一种特定的方言，这种方言会随着每个请求而动态变化。我们实现了Verify-Pro的原型，并在标准通信协议FTP，HTTP和物联网协议MQTT上评估其实用性。我们的实验结果表明，通过发送误导性的信息，通过消息包从攻击者在应用层，它是可能的收件人，以确定发送者是真正的或欺骗的，可以忽略不计的开销为0.536%。
cs.CR
HDKEM：可否认混合密钥交换的认证分配
HDKEM: Authentication Allocation for Deniable Hybrid Key Exchange
Kansas State University（堪萨斯州立大学）；Florida Atlantic University（佛罗里达大西洋大学）
本文提出HDKEM，一种可否认混合密钥交换协议，采用三槽混合设计，实现eCK密钥不可区分性等安全属性，经FalconRS和Gandalf评估性能良好。
cs.CR
轻量级RFID认证协议基于变量矩阵加密算法的密码分析
Cryptanalysis of a Lightweight RFID Authentication Protocol Based on a Variable Matrix Encryption Algorithm
Nanyang Technological University（南洋理工大学）
本文分析了基于变量矩阵加密算法的轻量级RFID认证协议的结构弱点，指出其缺乏非线性混淆层和密文链接，且在轻量设置下更新空间极小，导致协议安全性和熵值不足，提出多会话代数攻击路径以实现完整破解。
cs.CR
面向汽车场景的MACsec与CANsec中鲁棒多播源认证
Robust Multicast Origin Authentication in MACsec and CANsec for Automotive Scenarios
针对汽车以太网和CAN XL缺乏多播源认证的问题，本文提出基于TESLA协议并采用交织密钥链的策略，结合统一接收器实现运行时灵活选择，以在安全、可靠和资源消耗间取得平衡。
cs.CRcs.NI
使用基于开放标准的元数据、水印和密码学进行广播媒体的互操作来源认证
Interoperable Provenance Authentication of Broadcast Media using Open Standards-based Metadata, Watermarking and Cryptography
针对虚假信息泛滥，本文提出利用C2PA和ATSC的开放标准，结合密码学元数据与水印技术，解决广播媒体在社交媒体上的来源认证与互操作问题，并给出了最佳实践方法。
cs.CRcs.MM
对时间受限认证系统中的失败动态进行建模：USSD工作流程中成功悬崖的证据
Modeling Failure Dynamics in Time-Constrained Authentication Systems: Evidence of a Success Cliff in USSD Workflows
College of Engineering, Carnegie Mellon University Africa（卡内基梅隆大学非洲工程学院）
研究时间受限认证系统如基于USSD的金融服务，提出基于模拟框架研究失败动态，定义“成功悬崖”现象，通过实验量化安全与可用性权衡，确定安全认证工作流程不可靠的条件。
cs.CRcs.HC
零知识协议与椭圆曲线密码学研究及其在Java Card智能卡环境中的实现
Study of Zero-Knowledge protocols and Elliptic Curve Cryptography and their implementation in Smart Card environments using Java Card
本研究探讨在智能卡等受限环境中使用Java Card实现零知识协议与椭圆曲线密码学，通过基准测试选择协议，并提出理论实现方案。
cs.CR
使用基于身份的密码技术的GSM安全性
GSM Security Using Identity-based Cryptography
目前全球移动通信系统（GSM）的安全模型主要采用对称密钥加密技术。互联网技术的迅速发展促进了使用个人数字助理和手机等资源有限的手持设备进行在线交易、银行业务、下载和电子邮件发送。然而，这些应用需要比当前GSM支持的更多的安全性。因此，使用对称和非对称密钥加密的GSM安全性的仔细设计将使GSM安全性更适合于安全密集型应用。本文提出了一种安全有效的基于身份的GSM安全协议。所提出的协议的显着特点是：（i）认证密钥交换;（ii）通信实体之间的相互认证;和（iii）用户匿名。该协议的安全性分析表明，它可以抵御传统GSM安全中观察到的一些已知威胁。
cs.CR
TCP会话劫持的加密算法
Encryption Algorithm for TCP Session Hijacking
计算机的分布式网络和TCP协议的设计缺陷使得网络攻击具有倍增性。基于TCP协议在学术和协作通信环境中的简单和开放的假设，该协议缺乏安全认证。通过在TCP协议中加入基于RSA的密码技术、基于RSA的签名技术、DH密钥交换算法和HAMC-SHA1完整性验证技术，提出了一种能够有效防御TCP会话劫持的安全策略。
cs.CR
评估后量子密码对WPA-企业网络的实际影响
Assessing the Real-World Impact of Post-Quantum Cryptography on WPA-Enterprise Networks
University of Applied Sciences Esslingen（埃斯林根应用科技大学）；University of Wuppertal（伍珀塔尔大学）；University of Tübingen（蒂宾根大学）；Belden Inc.（贝尔登公司）
本文研究后量子密码算法对WPA-企业网络认证性能的影响，通过实验评估认证延迟，分析不同算法组合的性能开销，并探讨其安全性和实际紧迫性。
cs.CRcs.NIcs.PF
评估眼动追踪在虚拟现实中持续认证的长期可行性
Evaluating the long-term viability of eye-tracking for continuous authentication in virtual reality
本研究评估眼动追踪在VR持续认证中的长期可行性，发现短期准确率高但长期显著下降，提出定期模型更新可恢复准确率，凸显重训练必要性。
cs.CR
云计算环境下一种可靠的用户认证和数据保护模型
A Reliable User Authentication and Data Protection Model in Cloud Computing Environments
安全问题是云计算环境中最具挑战性的问题。考虑到这一重要性，本文提出了一种高效可靠的用户身份验证和数据保护模型，以提高基于云的环境的可靠性。相应地，在独立的中间件（Agent）中建立了两个加密过程，以在云服务器中执行用户认证、访问控制和数据保护的过程。AES已被用作云服务器中的对称加密算法，RSA已被用作代理服务器中的非对称加密算法。理论分析表明，由于在用户认证和数据保护过程中采用了双重加密和独立的中间件，与同类模型相比，该模型在面对可能的攻击和不可预测事件时的抵抗能力有了很大的提高。
cs.CRcs.DC
超越SSO：撒哈拉以南非洲包容性电子政务的移动货币认证
Beyond SSO: Mobile Money Authentication for Inclusive e-Government in Sub-Saharan Africa
College of Engineering, Carnegie Mellon University Africa（卡内基梅隆大学非洲工程学院）
针对撒哈拉以南非洲电子政务，提出结合USSD多因素认证与JWT会话管理的混合移动货币认证框架，实现离线可用、防SIM卡交换，较SSO认证快45%、成功率更高。
cs.CRcs.HC
安全远程自主代客泊车：采用三因素认证与密钥协商的预约方案
Secure Long-Range Autonomous Valet Parking: A Reservation Scheme With Three-Factor Authentication and Key Agreement
Wuhan University（武汉大学）；Guilin University of Electronic Technology（桂林电子科技大学）；Beihang University（北京航空航天大学）
针对现有远程自主代客泊车预约方案身份与通信安全不足的问题，提出SecLAVP协议，经形式化证明、仿真及性能评估，该协议安全且可行。
cs.CR
群环密码学：密码学，密钥交换，公钥
Group ring cryptography: Cryptography, key exchange, public key
一般的密码方案，其中的密钥可以是一次性的或短暂的。密钥交换的过程是派生的。基于新体制的公钥密码体制易于建立。实现了认证和签名方案。该方案是群环技术的一个进步，易于实现，但安全性高。它们可以与纠错编码方案集成，使得可以同时进行加密/编码和解密/解码。
cs.CRmath.RA
打开你心灵的钥匙：基于ECG信号的生物特征认证
A Key to Your Heart: Biometric Authentication Based on ECG Signals
近年来，人们的兴趣已经转向生物特征认证领域，该领域使用用户的生物特征来证明用户的身份。我们探索了一种新的生物特征的基础上的电活动的人的心脏的心电图（ECG）信号的形式。为了探索ECG作为生物特征的稳定性，我们收集了55名参与者在两次会议上的数据，中间间隔4个月。我们还使用消费级ECG监护仪，比医疗级监护仪更经济实惠，更实用。使用标准的方法来评估我们的分类器，我们得到的出错率为2.4%的数据收集在一个会话和9.7%的数据收集在两个会话。实验结果表明，使用消费级监视器收集的ECG信号可以成功地用于用户认证。
cs.CRcs.SYeess.SY
面向低空经济网络中动态无人机集群的可靠服务供给
Towards Reliable Service Provisioning for Dynamic UAV Clusters in Low-Altitude Economy Networks
针对低空经济网络中动态无人机集群的服务可靠性问题，提出LP2-CASKU方案，通过批量认证、跨集群认证和会话密钥更新，实现延迟降低82.8%-90.8%和能耗降低37.6%-72.6%。
cs.CR
