發送短信 : Secure transaction protocol analysis : models and applications

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