Travelled to:3 × USA
Collaborated with:K.N.Levitt L.Robinson E.I.Organick P.G.Neumann
Talks about:system (2) secur (2) multilevel (1) softwar (1) develop (1) output (1) multic (1) design (1) prove (1) proof (1)
Person: Richard J. Feiertag
DBLP: Feiertag:Richard_J=
Contributed to:
1977
19761971Wrote 3 papers:
- SOSP-1977-FeiertagLR #design #multi #proving #security
- Proving Multilevel Security of a System Design (RJF, KNL, LR), pp. 57–65.
- ICSE-1976-NeumannFLR #development #multi #proving #security
- Software Development and Proofs of Multi-Level Security (PGN, RJF, KNL, LR), pp. 421–428.
- SOSP-1971-FeiertagO #multi
- The MULTICS Input/Output System (RJF, EIO), pp. 35–41.