Section: Overall Objectives

Highlights of the Year

Cl-Atse Version 2.5-21 has been released by Mathieu Turuani. This efficient security protocol analyser offers advanced tracing options, supports set semantics as well as multiset one for modeling protocols, allows for Horn clause local deductions (for verifying assertions), and can handle in a complete and decidable manner negative constraints on the intruder's knowledge (for expressing non-disclosure policies).