Using automated model analysis for reasoning about security of web protocols.

Published in: ACSAC (2012)

Keyphrases

web applications
computational model
risk assessment
data mining
data analysis
mathematical model
statistical model
formal model
information systems
probabilistic model
intrusion detection
experimental data
automated analysis
security model