A Formal Analysis of the FIDO2 Protocols
Jingjing Guan, Hui Li, Haisong Ye, Ziming Zhao
Topics & Concepts
Computer sciencePasswordSuiteComputer securitySession (web analytics)Authentication (law)Protocol (science)Formal descriptionFormal methodsSecurity analysisCryptographic protocolFormal verificationIdentity (music)Theoretical computer scienceSoftware engineeringProgramming languageWorld Wide WebCryptographyAlternative medicineHistoryPathologyPhysicsAcousticsArchaeologyMedicineAdvanced Authentication Protocols SecurityUser Authentication and Security SystemsAccess Control and Trust