Richard J. Feiertag

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