Andromeda: Accurate and Scalable Security Analysis of Web Applications.

Omer Tripp Marco Pistoia Patrick Cousot Radhia Cousot Salvatore Guarnieri

Published in: FASE (2013)

Keyphrases

web applications
security analysis
application development
smart card
public key
security requirements
end users
security properties
web services
encryption scheme
authentication protocol
web application development
databases
mashup
user authentication