"Model-Based Detection of CSRF."

Marco Rocchetto, Martín Ochoa, Mohammad Torabi Dashti (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics