RICHARD J. FEIERTAG

The foundations of a provably secure operating system (PSOS)

RICHARD J. FEIERTAG, PETER G. NEUMANN, 1979, 1979 International Workshop on Managing Requirements Knowledge (MARK).