WEBLOG: a declarative language for secure web development. - Timothy L. Hinrichs; Daniele Rossetti; Gabriele Petronella; V. N. Venkatakrishnan; A. Prasad Sistla; Lenore D. Zuck (PLAS, 2013)