Concepedia

Richard J. Feiertag

RJ

Statistics

Publications

9

Citations

424

H-Index

9

Active since

1971

Affiliations

Menlo School(Current)

SRI International

Richard J. Feiertag is an author at Menlo School specializing in computer science, engineering, and data security.

Top concepts

EngineeringComputer ScienceData SecurityInformation SecurityHardware SecurityCryptographyFormal VerificationSystems EngineeringSystem SoftwareComputer Engineering

Publications per year

1971–2004

9

Publications

9

The foundations of a provably secure operating system (PSOS)

Richard J. Feiertag, Peter G. Neumann · 1979 International Workshop on Managing Requirements Knowledge (MARK) · 1979 · 96 citations

Engineering, Information Security, Software Engineering +21

Proving multilevel security of a system design

Richard J. Feiertag, Karl Levitt, Luke Robinson · ACM SIGOPS Operating Systems Review · 1977 · 88 citations

Security Proof, Engineering, Information Security +17

The Multics Input/Output system

Richard J. Feiertag, Elliott I. Organick · 1971 · 57 citations

Multics Input/output System, Engineering, Multi-rate Signal Processing +16

Proving multilevel security of a system design

Richard J. Feiertag, K. N. Levitt, L. Robinson · 1977 · 50 citations

Security Modelling, Engineering, Multilevel Security +9

Peter G. Neumann, Richard J. Feiertag · 2004 · 48 citations

Engineering, Information Security, Retrospective View +17

1–5 of 9