APA (7th ed.) Citation

Hess, A. V., Mödersheim, S. A., Brucker, A. D., & Schlichtkrull, A. (2025). PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL. Journal of Computer Security, 33(6), 425. https://doi.org/10.1177/0926227X251358741

Chicago Style (17th ed.) Citation

Hess, Andreas Viktor, Sebastian Alexander Mödersheim, Achim D. Brucker, and Anders Schlichtkrull. "PSPSP: A Tool for Automated Verification of Stateful Protocols in Isabelle/HOL." Journal of Computer Security 33, no. 6 (2025): 425. https://doi.org/10.1177/0926227X251358741.

MLA (9th ed.) Citation

Hess, Andreas Viktor, et al. "PSPSP: A Tool for Automated Verification of Stateful Protocols in Isabelle/HOL." Journal of Computer Security, vol. 33, no. 6, 2025, p. 425, https://doi.org/10.1177/0926227X251358741.