أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

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

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: Formal verification of security protocols