BibTeX record conf/sacmat/ZaninM04

• > Home > conf/sacmat/ZaninM04

@inproceedings{DBLP:conf/sacmat/ZaninM04,
  author       = {Giorgio Zanin and
                  Luigi V. Mancini},
  editor       = {Trent Jaeger and
                  Elena Ferrari},
  title        = {Towards a formal model for security policies specification and validation
                  in the selinux system},
  booktitle    = {9th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
                  2004, Yorktown Heights, New York, USA, June 2-4, 2004, Proceedings},
  pages        = {136--145},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/990036.990059},
  doi          = {10.1145/990036.990059},
  timestamp    = {Tue, 12 Nov 2024 10:12:41 +0100},
  biburl       = {https://dblp.org/rec/conf/sacmat/ZaninM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}