"Foundations of Security Analysis and Design 3 conf., FOSAD 2004-2005 Tutorial Lectures" - читать интересную книгу автора (Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli)