Control-Flow Integrity in Web Applications.
Bastian BraunPatrick GemeinHans P. ReiserJoachim PoseggaPublished in: ESSoS (2013)
Keyphrases
- web applications
- control flow
- data flow
- application development
- software testing
- web services
- process model
- end users
- formal semantics
- mashup
- workflow management systems
- web browser
- modeling language
- web application development
- black box
- software engineering
- multi agent systems
- knowledge base
- artificial intelligence
- database