Text this: Secure transaction protocol analysis : models and applications

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