BibTeX record conf/icics/VenkatakrishnanXDS06

download as .bib file

@inproceedings{DBLP:conf/icics/VenkatakrishnanXDS06,
  author       = {V. N. Venkatakrishnan and
                  Wei Xu and
                  Daniel C. DuVarney and
                  R. Sekar},
  editor       = {Peng Ning and
                  Sihan Qing and
                  Ninghui Li},
  title        = {Provably Correct Runtime Enforcement of Non-interference Properties},
  booktitle    = {Information and Communications Security, 8th International Conference,
                  {ICICS} 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4307},
  pages        = {332--351},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11935308\_24},
  doi          = {10.1007/11935308\_24},
  timestamp    = {Thu, 19 Nov 2020 15:37:08 +0100},
  biburl       = {https://dblp.org/rec/conf/icics/VenkatakrishnanXDS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics