Rushby81'

BibTeX

@inproceedings{DBLP:conf/sosp/Rushby81,
  author    = {John M. Rushby},
  title     = {Design and Verification of Secure Systems},
  booktitle = {SOSP},
  year      = {1981},
  pages     = {12-21},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}