發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

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