Static Analysis for Web Security in Abstract Syntax Format.
Raymond WuMasayuki HisadaRasika RanaweeraPublished in: International Conference on Internet Computing (2009)
Keyphrases
- static analysis
- java card
- dynamic analysis
- abstract interpretation
- source code
- website
- malicious code
- regular expressions
- data interchange
- symbolic execution
- high level
- web applications
- information security
- database
- smart card
- semantic web
- test generation
- access control
- web pages
- reverse engineering
- test suite
- security requirements
- open source
- real world
- databases