Login / Signup

MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols.

Federico SinigagliaRoberto CarboneGabriele CostaSilvio Ranise
Published in: ETAA@ESORICS (2019)
Keyphrases
  • high level
  • data analysis
  • authentication protocol
  • low level
  • lightweight
  • cost effective
  • end to end
  • conceptual model
  • formal analysis
  • security analysis