@PhDThesis{ gay:generic, author = {Richard Gay}, title = {A Generic Framework for Enforcing Security in Distributed Systems}, school = {TU Darmstadt}, year = 2017, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2017/20171128-Dissertation-ULB-RichardGay.pdf} }