HESS, Andreas Viktor, MÖDERSHEIM, Sebastian Alexander, BRUCKER, Achim D und SCHLICHTKRULL, Anders, 2025. PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL. Journal of Computer Security. 1 November 2025. Vol. 33, no. 6, p. 425-469. DOI 10.1177/0926227 X251358741.
Elsevier - Harvard (with titles)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, 425-469. https://doi.org/10.1177/0926227 X251358741
American Psychological Association 7th editionHess, 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-469. https://doi.org/10.1177/0926227 X251358741
Springer - Basic (author-date)Hess AV, Mödersheim SA, Brucker AD, Schlichtkrull A (2025) PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL.. Journal of Computer Security 33:425-469. https://doi.org/10.1177/0926227 X251358741
Juristische Zitierweise (Stüber) (Deutsch)Hess, Andreas Viktor/ Mödersheim, Sebastian Alexander/ Brucker, Achim D/ Schlichtkrull, Anders, PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL., Journal of Computer Security 2025, 425-469.