The foundations of a provably secure operating system (PSOS) (1979)
by
Richard J. Feiertag
,
Peter G. Neumann
| Venue: | IN PROCEEDINGS OF THE NATIONAL COMPUTER CONFERENCE |
| Citations: | 30 - 4 self |
BibTeX
@INPROCEEDINGS{Feiertag79thefoundations,
author = {Richard J. Feiertag and Peter G. Neumann},
title = {The foundations of a provably secure operating system (PSOS)},
booktitle = {IN PROCEEDINGS OF THE NATIONAL COMPUTER CONFERENCE},
year = {1979},
pages = {329--334},
publisher = {AFIPS Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
