@inproceedings{gouglidis:hal-01470549,
  TITLE = {{A Methodology for the Development and Verification of Access Control Systems in Cloud Computing}},
  AUTHOR = {Gouglidis, Antonios and Mavridis, Ioannis},
  URL = {https://inria.hal.science/hal-01470549},
  NOTE = {Part 3: Security, Access Control and Legal Requirements in Cloud Systems},
  BOOKTITLE = {{12th Conference on e-Business, e-Services, and e-Society (I3E)}},
  ADDRESS = {Athens, Greece},
  EDITOR = {Christos Douligeris and Nineta Polemi and Athanasios Karantjias and Winfried Lamersdorf},
  PUBLISHER = {{Springer}},
  SERIES = {Collaborative, Trusted and Privacy-Aware e/m-Services},
  VOLUME = {AICT-399},
  PAGES = {88-99},
  YEAR = {2013},
  MONTH = Apr,
  DOI = {10.1007/978-3-642-37437-1\_8},
  KEYWORDS = {Security ; Inter-organizational systems ; Cloud business ; Verification},
  PDF = {https://inria.hal.science/hal-01470549/file/978-3-642-37437-1_8_Chapter.pdf},
  HAL_ID = {hal-01470549},
  HAL_VERSION = {v1},
}