PSPSP: Performing Security Proofs of Stateful Protocols

About the Tool

This tool is the first to combine three things:



This work is part of an Isabelle formalization of stateful protocols where you can also manually reason about protocols and their composition.

Related tools

The verification idea was previously implemented in Set-based abstraction:
AIF, Set-pi and AIF-Omega (Set-based abstraction)