發送短信 : Formal analysis and systematic construction of two-factor authentication scheme

  ______     ___      ______   _    _     ______  
 /_____//   / _ \\   /_   _// | || | ||  /_   _// 
 `____ `   | / \ ||    | ||   | || | ||    | ||   
 /___//    | \_/ ||   _| ||   | \\_/ ||   _| ||   
 `__ `      \___//   /__//     \____//   /__//    
 /_//       `---`    `--`       `---`    `--`     
 `-`