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

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