Login / Signup
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.
Alessandro Armando
Roberto Carbone
Luca Compagna
Jorge Cuéllar
Llanos Tobarra
Published in:
FMSE (2008)
Keyphrases
</>
formal analysis
web browser
multi domain
website
role based access control
markup language
web pages
web applications
search engine
web server
formal methods
user interface
ban logic
agent model
web content
cross domain
user friendly interface
factor authentication
information extraction
end users
java applets
metadata