Symbolic security analysis of ruby-on-rails web applications.

Avik Chaudhuri Jeffrey S. Foster

Published in: CCS (2010)

Keyphrases

web applications
security analysis
public key
application development
smart card
security requirements
end users
security properties
web services
authentication protocol
encryption scheme
user authentication
web application development
object oriented
database management systems
web development