| Overview | &nbsp :: &nbsp | Download | &nbsp :: &nbsp | Examples | &nbsp :: &nbsp | Documentation |

ASPASyA stands for Automated tool for Security Protocols Analysis based on a Symbolic Approach. It is a tool aimed to verification of security properties of communication protocols by means of symbolic model checking. It is based on cIP calculus for protocol specification and the associated PL-Logic for properties validation.

Technical documents

Ongoing activity