Matteo Maffei, Kim Pecina, Manuel Reinert: Security and Privacy by Declarative Design. CSF 2013: 81-96