An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols
IEEE Transactions on Dependable and Secure Computing/IEEE transactions on dependable and secure computing