"Formal Aspects in Security and Trust, 5 conf., FAST 2008" - читать интересную книгу автора