BibTeX record conf/auisc/BaiK11

download as .bib file

@inproceedings{DBLP:conf/auisc/BaiK11,
  author       = {Yun Bai and
                  Khaled M. Khan},
  editor       = {Colin Boyd and
                  Josef Pieprzyk},
  title        = {A Modal Logic for Information System Security},
  booktitle    = {Ninth Australasian Information Security Conference, {AISC} 2011, Perth,
                  Australia, January 2011},
  series       = {{CRPIT}},
  volume       = {116},
  pages        = {51--56},
  publisher    = {Australian Computer Society},
  year         = {2011},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV116Bai.html},
  timestamp    = {Tue, 28 Apr 2020 21:38:58 +0200},
  biburl       = {https://dblp.org/rec/conf/auisc/BaiK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics