Text this: Formal analysis and systematic construction of two-factor authentication scheme

 _____     _    _              _    _    _    _   
|  __ \\  | || | ||   ____    | || | || | |  | || 
| |  \ || | || | ||  |    \\  | || | || | |/\| || 
| |__/ || | \\_/ ||  | [] ||  | \\_/ || |  /\  || 
|_____//   \____//   |  __//   \____//  |_// \_|| 
 -----`     `---`    |_|`-`     `---`   `-`   `-` 
                     `-`