"Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers ... Computer Science Security and Cryptology)" - читать интересную книгу автора (Pierpaolo Degano, Joshua D. Guttman)