FeiertagLR77'

BibTeX

@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},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}