Using static analysis to validate the SAML single sign-on protocol.
Steffen M. HansenJakob SkriverHanne Riis NielsonPublished in: WITS (2005)
Keyphrases
- static analysis
- authentication protocol
- dynamic analysis
- source code
- malicious code
- symbolic execution
- trusted third party
- lightweight
- multi domain
- markup language
- abstract interpretation
- java card
- smart card
- test generation
- real world
- security analysis
- regular expressions
- test suite
- open source
- case study
- database
- decision trees