Multi-Factor Authentication protocols are nowadays widely used to protect sensitive data. However, they highly differ in terms of features, provided security level and user experience.
MuFASA is a tool for high-level specification and analysis of MFA protocols, which aims at supporting normal users and security experts (in the design phase of an MFA protocol), providing a high level report regarding possible risks associated to the specified MFA protocol, its resistance to a set of attacker models (defined by NIST), its ease-of-use and its compliance with a set of security requirements derived from European laws.
The tool is available on request. If you are interested in trying the tool, please contact us via email. (contact information is available at the bottom of this webpage.)
Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Silvio Ranise
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols
In: Emerging Technologies for Authorization and Authentication (ETAA 2019) (DOI, complementary material, news)