Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols.

Alessandro Armando, Roberto Carbone, Luca Zanetti

Browse the full NSS paper archive.