@phdthesis{basesearch-13005,
  title = {A framework for modelling and testing of security policies},
  author = {Lukas Brügger},
  year = {2012},
  url = {https://www.base-search.net/Record/9966891bc0a486b13baeaddebcaf20d4ea81f2719db6070ded0ffe0220ed3c30},
  note = {base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/58551)},
  researchr = {https://researchr.org/publication/basesearch-13005},
  cites = {0},
  citedby = {0},
  school = {ETH Zurich, Zürich, Switzerland},
}