"Formal Models and Techniques for Analyzing Security Protocols" - читать интересную книгу автора (Veronique Cortier, Steve Kremer)