"Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers" - читать интересную книгу автора (Theo Dimitrakos, Fabio Martinelli, Peter Y A Ryan, Steve Schneider)