"Formal Aspects in Security and Trust, 4 conf., FAST 2006" - читать интересную книгу автора (Theo Dimitrakos, Fabio Martinelli, Peter Y A Ryan, Steve Schneider)