發送短信 : A formal specification and verification framework for timed security protocols

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