BibTeX record conf/sacmat/LedruQIRL11

• > Home > conf/sacmat/LedruQIRL11

@inproceedings{DBLP:conf/sacmat/LedruQIRL11,
  author       = {Yves Ledru and
                  Nafees Qamar and
                  Akram Idani and
                  Jean{-}Luc Richier and
                  Mohamed{-}Amine Labiadh},
  editor       = {Ruth Breu and
                  Jason Crampton and
                  Jorge Lobo},
  title        = {Validation of security policies by the animation of {Z} specifications},
  booktitle    = {16th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
                  2011, Innsbruck, Austria, June 15-17, 2011, Proceedings},
  pages        = {155--164},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1998441.1998471},
  doi          = {10.1145/1998441.1998471},
  timestamp    = {Sun, 25 Oct 2020 23:08:08 +0100},
  biburl       = {https://dblp.org/rec/conf/sacmat/LedruQIRL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}