本文对 FIDO2/WebAuthn 威胁模型进行了批判性重新评估。FIDO2 作为抗钓鱼认证方案已被广泛部署，其安全性通常被认为由设计保证，只要密码学实现正确。然而，作者指出在现实部署条件下，若干常见的安全假设并不成立。他们将威胁模型扩展到密码学层之外，系统分析了横跨 FIDO2 协议栈的八类攻击向量：恶意浏览器扩展、平台处理器恶意软件、被动嗅探、虚拟设备驱动、CTAP2 特定恶意软件、USB/硬件植入、恶意 USB 集线器/扩展坞/延长线，以及 NFC 中继攻击。分析表明，FIDO2 依赖的环境假设在实际中可能失效。作者演示了如何利用 AAGUID 和时间信息进行用户画像与定向攻击，并说明即使底层密码学原语未被攻破，浏览器、操作系统或硬件的沦陷也会破坏 FIDO2 的安全性。进一步，跨多层的攻击链可以绕过 FIDO2 预期的安全保证。这些发现表明 FIDO2 部署中的主要弱点往往不是密码学层，而是其周围的可信环境。作者还探讨了这些攻击如何通过针对 FIDO 元数据服务（MDS3）来破坏设备证明——MDS3 是认证器元数据的信任根。最后，他们根据权限、技能和资源需求对攻击进行了分类。结论是，有效的 FIDO2 安全需要涵盖浏览器、操作系统、硬件、协议栈和元数据基础设施的分层缓解措施。该研究适合安全架构师、认证协议开发者及部署 FIDO2 的企业组织阅读，以重新审视其信任边界与防护策略。

该论文针对企业环境中 FIDO2 无密码认证（Passkey）部署率较低的现象，系统性地研究了企业在采用 FIDO2 标准时面临的实际障碍。作者通过对多家企业 IT 决策者、安全团队和身份管理相关人员的访谈或调查，收集了定性数据，分析了阻碍 Passkey 落地的关键因素。研究发现，尽管 FIDO2 在安全性和用户体验上具有明显优势（如抵御网络钓鱼、减少密码疲劳），但企业在实际部署中仍面临多重挑战，包括：现有基础设施兼容性问题、与遗留系统的集成成本、迁移路径不清晰、对用户体验的担忧、供应链和生态系统的碎片化，以及管理层对新技术风险的认知不足等。论文进一步提出了针对性的改进建议，例如推动更成熟的中间件支持、制定分阶段迁移策略、加强行业标准与法规的协同等。该研究为安全团队、产品经理和政策制定者提供了实证依据，有助于理解 Passkey 从个人使用到企业规模化落地之间的鸿沟。由于该论文仅提供摘要，未包含具体实验数据和完整分析细节，本摘要基于 abstract 信息生成。

本论文重新审视了FIDO2硬件安全密钥的安全性，这些密钥广泛用于双因素认证（2FA）和无密码系统中。传统观点认为只要密码或第二因素设备之一未被攻破，账户就是安全的。然而，作者挑战了这一假设，开发了一个名为FIDOLA（FIDO2 Deception Attack via Overlays exploiting Limited Display Authenticators）的攻击框架。该框架通过分析FIDO2的底层协议和操作系统级安全机制，利用有限显示认证器（即那些屏幕小或信息有限的硬件密钥）的局限性，通过覆盖攻击欺骗用户授权恶意操作。论文提供了实际演示，证明攻击者可以在不获取root权限的情况下绕过安全密钥的保护，从而窃取凭证或执行未授权操作。该研究揭示了FIDO2密钥在实际部署中的一个重要盲点：用户对认证器显示内容的信任可能被恶意覆盖信息所劫持。

FIDO2 是一套用于无密码身份认证的协议套件，它通过将本地身份验证（如生物识别）的易用性与公钥密码学的安全性相结合，旨在消除共享认证秘密（如密码）带来的泄露和钓鱼风险。FIDO2 假定客户端协议组件是良性行为的，从而提供强安全保证。然而，实际部署中的实现差异、配置错误或用户交互设计可能引入安全漏洞。本研究对真实世界中的 FIDO2 部署进行了安全态势评估，分析了多个广泛使用的 FIDO2 实现（包括浏览器、平台和依赖方服务）在协议实现、证书验证、注册和认证流程中的安全性。通过系统化的测试框架，作者发现了若干类安全问题：例如，某些实现未正确验证令牌来源，导致可被中间人攻击；部分依赖方未强制使用用户验证（UV），允许未经授权的访问；还有实现存在重放攻击或会话劫持风险。实验结果表明，尽管 FIDO2 协议设计健全，但实际部署的安全水平参差不齐，部分实现违反了协议规范的核心安全假设。该研究为安全工程师提供了部署 FIDO2 时的改进建议，包括必须强制用户验证、严格检查 token 签名、以及遵循最佳实践进行密钥管理。论文的主要贡献在于首次大规模实证评估 FIDO2 真实部署的安全性，揭示了协议实现与部署之间的安全缺口。适合蓝队成员、身份验证架构师及 Web 安全研究人员阅读。

本文对FIDO2、CTAP 2.1和WebAuthn 2这一现代无密码认证协议族进行了形式化安全分析，并提出了后量子安全的实例化方案。研究者首先构建了这些协议的符号模型，涵盖了注册、认证、凭证管理等多阶段交互，并利用Tamarin Prover工具进行了自动化安全验证。分析揭示了在标准安全假设下协议能够满足预期的安全属性（如抗钓鱼、密钥泄露保护、绑定认证等），但发现了在特定场景下存在的设计缺陷，例如CTAP 2.1中某些消息序列可能导致不安全的凭证共享。基于这些发现，论文提出了两方面的贡献：一是给出了一个增强的、可证明安全的协议规范修正；二是引入了后量子密码原语（如基于格的签名方案），对协议进行了后量子安全实例化，并证明了其在量子计算机威胁下的安全性。实验评估表明，后量子实例化在性能开销上可接受，兼容现有硬件。该工作为大规模部署无密码认证提供了坚实的理论基础和工程指导。