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

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