"Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science Security and Cryptology)" - читать интересную книгу автора (Pierpaolo Degano, Luca Viganò)