"Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers " - читать интересную книгу автора (Theo Dimitrakos, Fabio Martinelli, Peter Y.A. Ryan, Steve Schneider)