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

رقم:

مقدم:

كابتشا:

 __   _      ___      ______   _    _   __    __  
| || | ||   / _ \\   /_   _// | || | || \ \\ / // 
| '--' ||  | / \ ||  `-| |,-  | || | ||  \ \/ //  
| .--. ||  | \_/ ||    | ||   | \\_/ ||   \  //   
|_|| |_||   \___//     |_||    \____//     \//    
`-`  `-`    `---`      `-`'     `---`       `

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

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