| Overview |   ::   | Download |   ::   | Examples |   ::   | 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