YAPA: A generic tool for computing intruder knowledge

Mathieu Baudet, Véronique Cortier, Stéphanie Delaune

Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages…