@inproceedings{schutte:hal-01054578,
  TITLE = {{Authentic Refinement of Semantically Enhanced Policies in Pervasive Systems}},
  AUTHOR = {Schutte, Julian and Kuntze, Nicolai and Fuchs, Andreas and Badii, Atta},
  URL = {https://inria.hal.science/hal-01054578},
  BOOKTITLE = {{25th IFIP TC 11 International Information Security Conference (SEC) / Held as Part of World Computer Congress (WCC)}},
  ADDRESS = {Brisbane, Australia},
  EDITOR = {Kai Rannenberg; Vijay Varadharajan; Christian Weber},
  PUBLISHER = {{Springer}},
  SERIES = {Security and Privacy - Silver Linings in the Cloud},
  VOLUME = {AICT-330},
  PAGES = {90-102},
  YEAR = {2010},
  MONTH = Sep,
  DOI = {10.1007/978-3-642-15257-3\_9},
  PDF = {https://inria.hal.science/hal-01054578/file/paperauthenticrefinement.pdf},
  HAL_ID = {hal-01054578},
  HAL_VERSION = {v1},
}