Protecting web services from remote exploit code: a static analysis approach.
Xinran WangYoon-chan JhiSencun ZhuPeng LiuPublished in: WWW (2008)
Keyphrases
- static analysis
- web services
- source code
- malicious code
- dynamic analysis
- symbolic execution
- web applications
- java card
- open source
- test generation
- web service composition
- description language
- abstract interpretation
- regular expressions
- service oriented
- business process
- business processes
- test suite
- database
- access control
- software engineering
- relational databases
- artificial intelligence
- real world