"Foundations of Security Analysis and Design: Tutorial Lectures " - читать интересную книгу автора (Riccardo Focardi, Roberto Gorrieri)