DBLP Record 'conf/popl/JacobsPW05'

BibTeX

@inproceedings{DBLP:conf/popl/JacobsPW05,
  author    = {Bart Jacobs and
               Wolter Pieters and
               Martijn Warnier},
  title     = {Statically checking confidentiality via dynamic labels},
  booktitle = {WITS},
  year      = {2005},
  pages     = {50-56},
  ee        = {http://doi.acm.org/10.1145/1045405.1045411},
  crossref  = {DBLP:conf/popl/2005wits},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/popl/2005wits,
  editor    = {Catherine Meadows},
  title     = {Proceedings of the POPL 2005 Workshop on Issues in the Theory
               of Security, WITS 2005, Long Beach, California, USA, January
               10-11, 2005},
  booktitle = {WITS},
  publisher = {ACM},
  year      = {2005},
  isbn      = {1-58113-980-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}