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