BibTeX record conf/words/ShafiqMJG05

download as .bib file

@inproceedings{DBLP:conf/words/ShafiqMJG05,
  author       = {Basit Shafiq and
                  Ammar Masood and
                  James Joshi and
                  Arif Ghafoor},
  title        = {A Role-Based Access Control Policy Verification Framework for Real-Time
                  Systems},
  booktitle    = {10th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
                  Systems {(WORDS} 2005), 2-4 February 2005, Sedona, AZ, {USA}},
  pages        = {13--20},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/WORDS.2005.11},
  doi          = {10.1109/WORDS.2005.11},
  timestamp    = {Fri, 24 Mar 2023 00:02:26 +0100},
  biburl       = {https://dblp.org/rec/conf/words/ShafiqMJG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}