Provable Security Analysis of FIDO2
Provable Security Analysis of FIDO2
复制标题
FIDO2 可证明的安全性分析
DOI：
10.1007/978-3-030-84252
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Warinschi, Bogdan
中科院分区：
文献类型：
--
作者：
Barbosa, Manuel;Boldyreva, Alexandra;Chen, Shan;Warinschi, Bogdan
我们对新的 FIDO2 协议进行了首次可证明的安全分析，这是前景广阔的 FIDO 联盟关于无密码用户身份验证标准的提案。我们的分析涵盖了 FIDO2 的核心组件：W3C 的 Web 身份验证 (WebAuthn) 规范和新的客户端到身份验证器协议 (CTAP2)。我们的分析是模块化的。反过来，对于 WebAuthn 和 CTAP2，我们提出了适当的安全模型，旨在捕获其预期的安全目标并使用模型来分析其安全性。首先，我们的证明证实了 WebAuthn 的身份验证安全性。然后，我们证明 CTAP2 只能在弱意义上被证明是安全的；同时，我们找出了其一系列的设计缺陷并提出了改进建议。为了抵御更强大但更现实的对手，我们提出了一种名为 sPACA 的通用协议，并证明了其强大的安全性；通过正确的实例化，sPACA 也比 CTAP2 更高效。最后，我们根据其组件的安全性分析了 FIDO2 和 WebAuthn+sPACA 提供的整体安全保证。我们期望我们的模型和可证明的安全结果将有助于阐明 FIDO2 协议的安全保证。此外，我们主张采用我们的 sPACA 协议作为 CTAP2 的替代品，以获得更强的安全性和更好的性能。
We carry out the first provable security analysis of the new FIDO2 protocols, the promising FIDO Alliance’s proposal for a standard forpasswordlessuser authentication. Our analysis covers the core components of FIDO2: the W3C’s Web Authentication (WebAuthn) specification and the new Client-to-Authenticator Protocol (CTAP2).Our analysis ismodular. For WebAuthn and CTAP2, in turn, we propose appropriate security models that aim to capture their intended security goals and use the models to analyze their security. First, our proof confirms the authentication security of WebAuthn. Then, we show CTAP2 can only be proved secure in a weak sense; meanwhile, we identify a series of its design flaws and provide suggestions for improvement. To withstand stronger yet realistic adversaries, we propose a generic protocol called sPACA and prove its strong security; with proper instantiations, sPACA is also more efficient than CTAP2. Finally, we analyze the overall security guarantees provided by FIDO2 and WebAuthn+sPACA based on the security of their components.We expect that our models and provable security results will help clarify the security guarantees of the FIDO2 protocols. In addition, we advocate the adoption of our sPACA protocol as a substitute for CTAP2 for both stronger security and better performance.
登录
查看更多内容
DOI：
10.1145/3243734.3243798
发表时间：
2018
期刊：
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security
影响因子：
--
作者：
Tibor Jager;Saqib A. Kakvi;Alexander May
通讯作者：
Alexander May
W3C Web 身份验证协议的形式化验证
DOI：
--
发表时间：
2018
期刊：
Symposium and Bootcamp on the Science of Security
影响因子：
--
作者：
Iness Ben Guirat;H. Halpin
通讯作者：
H. Halpin
DOI：
--
发表时间：
2021
期刊：
IACR Cryptology ePrint Archive
影响因子：
--
作者：
M. Fischlin;Arno Mittelbach
通讯作者：
Arno Mittelbach
DOI：
--
发表时间：
2011
期刊：
Request for Comments
影响因子：
--
作者：
D. McGrew;Kevin M. Igoe;M. Salter
通讯作者：
M. Salter
FIPS-PUB-180-1
DOI：
--
发表时间：
1995
期刊：
影响因子：
--
作者：
Air Force Air Force Materiel Command Hq
通讯作者：
Air Force Air Force Materiel Command Hq