Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard - the POST/Artifact use case. - Zvonimir Hartl; Ante Derek (CoRR, 2024)