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

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