"Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science / Programming and Software Engineering)" - читать интересную книгу автора (Qingfeng Chen, Chengqi Zhang, Shichao Zhang)