Title: Secure Transaction Protocol Analysis