"Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)" - читать интересную книгу автора (Alessandro Aldini, Gilles Barthe, Roberto Gorrieri)