BibTeX record conf/icde/ReithNW07

download as .bib file

@inproceedings{DBLP:conf/icde/ReithNW07,
  author       = {Mark Reith and
                  Jianwei Niu and
                  William H. Winsborough},
  title        = {Apply Model Checking to Security Analysis in Trust Management},
  booktitle    = {Proceedings of the 23rd International Conference on Data Engineering
                  Workshops, {ICDE} 2007, 15-20 April 2007, Istanbul, Turkey},
  pages        = {734--743},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICDEW.2007.4401061},
  doi          = {10.1109/ICDEW.2007.4401061},
  timestamp    = {Fri, 24 Mar 2023 00:00:01 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/ReithNW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics