Towards automated formal security analysis of SAML V2.0 Web Browser SSO
standard -- the POST/Artifact use case

Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case

18 March 2024

ArXiv (abs)PDF HTML

Papers citing "Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case"

Title
No papers