Derailer: interactive security analysis for web applications.

Joseph P. Near Daniel Jackson

Published in: ASE (2014)

Keyphrases

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