Text this: Secure transaction protocol analysis : models and applications

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