Toward Automated Formal Security Analysis of SAML V2.0 Web Browser SSO Standard—The POST/Artifact Use Case

Single Sign-On (SSO) protocols streamline user authentication with a unified login for multiple online services, improving usability and security. One of the most common SSO protocol frameworks — the Security Assertion Markup Language V2.0 (SAML) Web SSO Profile — has been in use for m...

Celý popis

Podrobná bibliografie

Hlavní autoři:	Zvonimir Hartl, Ante Derek
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	IEEE 2025-01-01
Edice:	IEEE Access
Témata:	Security protocols formal proof formal verification SAML security analysis single sign-on (SSO)
On-line přístup:	https://ieeexplore.ieee.org/document/11205349/
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!