أرسل هذا في رسالة قصيرة: Secure transaction protocol analysis : models and applications

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