"Formal Aspects of Security and Trust, 7th International Workshop, FAST 2010 Pisa, Italy, September 16-17, 2010 Revised" - читать интересную книгу автора (Pierpaolo Degano, Sandro Etalle, Joshua Guttman)