Código QR (código de barras bidimensional)

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...

ver descrição completa

Na minha lista:
Principais autores: Zvonimir Hartl, Ante Derek
Formato: Artigo
Idioma:Inglês
Publicado em: IEEE 2025-01-01
coleção:IEEE Access
Assuntos:
Security protocols
formal proof
formal verification
SAML
security analysis
single sign-on (SSO)
Acesso em linha:https://ieeexplore.ieee.org/document/11205349/
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados