DBLP BibTeX Record 'conf/sosp/FeiertagLR77'

@inproceedings{DBLP:conf/sosp/FeiertagLR77,
  author    = {Richard J. Feiertag and
               Karl N. Levitt and
               Lawrence Robinson},
  title     = {Proving Multilevel Security of a System Design},
  booktitle = {SOSP},
  year      = {1977},
  pages     = {57-65},
  ee        = {http://doi.acm.org/10.1145/800214.806547},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}