BibTeX record conf/sacmat/ArmandoRTW15

download as .bib file

@inproceedings{DBLP:conf/sacmat/ArmandoRTW15,
  author       = {Alessandro Armando and
                  Silvio Ranise and
                  Riccardo Traverso and
                  Konrad S. Wrona},
  editor       = {Edgar R. Weippl and
                  Florian Kerschbaum and
                  Adam J. Lee},
  title        = {A SMT-based Tool for the Analysis and Enforcement of {NATO} Content-based
                  Protection and Release Policies},
  booktitle    = {Proceedings of the 20th {ACM} Symposium on Access Control Models and
                  Technologies, Vienna, Austria, June 1-3, 2015},
  pages        = {151--155},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2752952.2752954},
  doi          = {10.1145/2752952.2752954},
  timestamp    = {Mon, 26 Jun 2023 20:45:28 +0200},
  biburl       = {https://dblp.org/rec/conf/sacmat/ArmandoRTW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics