"Formal Aspects in Security and Trust (Lecture Notes in Computer Science, 5983)" - читать интересную книгу автора (Pierpaolo Degano, Joshua D. Guttman)