"Operational semantics and verification of security protocols" - читать интересную книгу автора (Cas Cremers , Sjouke Mauw)