"Secure Transaction Protocol Analysis.. Models and Applications" - читать интересную книгу автора (Qingfeng Chen, Chengqi Zhang, Shichao Zhang)