Treffer: PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL.
Title:
PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL.
Authors:
Hess, Andreas Viktor1 (AUTHOR), Mödersheim, Sebastian Alexander1 (AUTHOR), Brucker, Achim D2 (AUTHOR) a.brucker@exeter.ac.uk, Schlichtkrull, Anders3 (AUTHOR)
Source:
Journal of Computer Security. Nov2025, Vol. 33 Issue 6, p425-469. 45p.
Database:
Business Source Ultimate