發送短信 : Formal verification of security protocols

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