Richard J. Feiertag

Publication Activity (10 Years)

Years Active: 1971-2003
Publications (10 Years): 0

Publications

Peter G. Neumann, Richard J. Feiertag
PSOS Revisited. ACSAC (2003)
Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu
Intrusion detection inter-component adaptive negotiation. Comput. Networks 34 (4) (2000)
Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu
Intrusion Detection Inter-component Adaptive Negotiation. Recent Advances in Intrusion Detection (1999)
E. John Sebes, Richard J. Feiertag
Implicit Discretionary Access Propagation: A new Interpretation of DAC. CSFW (1991)
Nancy L. Kelem, Richard J. Feiertag
A Separation Model for Virtual Machine Monitors. IEEE Symposium on Security and Privacy (1991)
Richard J. Feiertag
Does TCB subsetting enhance trust? ACSAC (1989)
Raymond Wong, Thomas A. Berson, Richard J. Feiertag
Polonium: An Identity Authentication System. IEEE Symposium on Security and Privacy (1985)
R. Kenneth Bauer, Thomas A. Berson, Richard J. Feiertag
A Key Distribution Protocol Using Event Markers ACM Trans. Comput. Syst. 1 (3) (1983)
Thomas A. Berson, Richard J. Feiertag, R. Kenneth Bauer
Processor-per-Domain Guard Architecture. IEEE Symposium on Security and Privacy (1983)
Richard J. Feiertag, Thomas A. Berson
An avenue for exploitation and development of verification technology. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)
Richard J. Feiertag, Peter G. Neumann
The foundations of a provably secure operating system (PSOS). MARK (1979)
Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson
Proving Multilevel Security of a System Design. SOSP (1977)
Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson
Software Development and Proofs of Multi-Level Security. ICSE (1976)
Richard J. Feiertag, Elliott I. Organick
The MULTICS Input/Output System. SOSP (1971)