DBLP Record 'conf/pldi/FraserPA06'

BibTeX

@inproceedings{DBLP:conf/pldi/FraserPA06,
  author    = {Timothy Fraser and
               Nick L. Petroni Jr. and
               William A. Arbaugh},
  title     = {Applying flow-sensitive CQUAL to verify MINIX authorization
               check placement},
  booktitle = {PLAS},
  year      = {2006},
  pages     = {3-6},
  ee        = {http://doi.acm.org/10.1145/1134744.1134747},
  crossref  = {DBLP:conf/pldi/2006plas},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pldi/2006plas,
  editor    = {Vugranam C. Sreedhar and
               Steve Zdancewic},
  title     = {Proceedings of the 2006 Workshop on Programming Languages
               and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada,
               June 10, 2006},
  booktitle = {PLAS},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-374-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}