@inproceedings{shakarami:hal-02384596,
  TITLE = {{Refresh Instead of Revoke Enhances Safety and Availability: A Formal Analysis}},
  AUTHOR = {Shakarami, Mehrnoosh and Sandhu, Ravi},
  URL = {https://inria.hal.science/hal-02384596},
  NOTE = {Part 5: Distributed Systems},
  BOOKTITLE = {{33th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec)}},
  ADDRESS = {Charleston, SC, United States},
  EDITOR = {Simon N. Foley},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Data and Applications Security and Privacy XXXIII},
  VOLUME = {LNCS-11559},
  PAGES = {301-313},
  YEAR = {2019},
  MONTH = Jul,
  DOI = {10.1007/978-3-030-22479-0\_16},
  KEYWORDS = {ABAC ; Refresh ; Consistency ; Safety ; Availability},
  PDF = {https://inria.hal.science/hal-02384596/file/480962_1_En_16_Chapter.pdf},
  HAL_ID = {hal-02384596},
  HAL_VERSION = {v1},
}