Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard - the POST/Artifact use case.
Zvonimir HartlAnte DerekPublished in: CoRR (2024)
Keyphrases
- web browser
- security analysis
- web applications
- website
- smart card
- public key
- web content
- high security
- web server
- encryption scheme
- user authentication
- user friendly interface
- web pages
- authentication protocol
- security requirements
- user interface
- access control policies
- security mechanisms
- privacy preserving
- digital libraries