A Declarative Model for Reasoning about Form Security.

Published in: ICAART (2) (2015)

Keyphrases

high level
probability distribution
theoretical analysis
parameter estimation
formal model
case study
similarity measure
multiscale
probabilistic model
anomaly detection
mathematical model
statistical model
prediction model
security model