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

رقم:

مقدم:

كابتشا:

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

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

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