@techreport{TUD-CS-2011-0149, author = {Eric Bodden}, title = {Defining Access Control Policies as Tracematches}, month = jun, year = {2011}, institution = {CASED}, number = {TUD-CS-2011-0149}, url = {https://www.bodden.de/pubs/TUD-CS-2011-0149.pdf}, }