Secure Transaction Protocol Analysis Lecture Notes in Computer Science | lit.salon