@inproceedings{armando:hal-01534765,
  TITLE = {{Automated and Efficient Analysis of Role-Based Access Control with Attributes}},
  AUTHOR = {Armando, Alessandro and Ranise, Silvio},
  URL = {https://inria.hal.science/hal-01534765},
  NOTE = {Part 2: Access Control},
  BOOKTITLE = {{26th Conference on Data and Applications Security and Privacy (DBSec)}},
  ADDRESS = {Paris, France},
  EDITOR = {Nora Cuppens-Boulahia and Fr{\'e}d{\'e}ric Cuppens and Joaquin Garcia-Alfaro},
  PUBLISHER = {{Springer}},
  SERIES = {Data and Applications Security and Privacy XXVI},
  VOLUME = {LNCS-7371},
  PAGES = {25-40},
  YEAR = {2012},
  MONTH = Jul,
  DOI = {10.1007/978-3-642-31540-4\_3},
  PDF = {https://inria.hal.science/hal-01534765/file/978-3-642-31540-4_3_Chapter.pdf},
  HAL_ID = {hal-01534765},
  HAL_VERSION = {v1},
}