EVE: Verifying Correct Execution of Cloud-Hosted Web Applications.

Suman Jana Vitaly Shmatikov

Published in: HotCloud (2011)

Keyphrases

web applications
application development
web services
cloud computing
application programs
end users
application developers
web browser
web application development
dynamic content
web development
model checking
mashup
business applications
web based systems