發送短信 : Formal verification of security protocols

Export Ready —  

 _    _     ______    _  __   _    _     ______  
| |  | ||  /_   _//  | |/ // | || | ||  /_   _// 
| |/\| ||   -| ||-   | ' //  | || | ||    | ||   
|  /\  ||   _| ||_   | . \\  | \\_/ ||   _| ||   
|_// \_||  /_____//  |_|\_\\  \____//   /__//    
`-`   `-`  `-----`   `-` --`   `---`    `--`