Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience

Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò

DOI: 10.1007/978-3-319-89722-6_8
Referenced 2 times
Share this paper
Use this link to share this page publicly