Richard J. Feiertag

According to our database, Richard J. Feiertag authored at least 13 papers between 1971 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2003

PSOS Revisited.

Peter G. Neumann, Richard J. Feiertag

Proceedings of the 19th Annual Computer Security Applications Conference (ACSAC 2003), 2003

2000

Intrusion detection inter-component adaptive negotiation.

Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu

Comput. Networks, 2000

1991

A Separation Model for Virtual Machine Monitors.

Nancy L. Kelem, Richard J. Feiertag

Proceedings of the 1991 IEEE Symposium on Security and Privacy, 1991

Implicit Discretionary Access Propagation: A new Interpretation of DAC.

E. John Sebes, Richard J. Feiertag

Proceedings of the 4th IEEE Computer Security Foundations Workshop, 1991

1989

Does TCB subsetting enhance trust?

Richard J. Feiertag

Proceedings of the Fifth Annual Computer Security Applications Conference, 1989

1985

Polonium: An Identity Authentication System.

Raymond M. Wong, Thomas A. Berson, Richard J. Feiertag

Proceedings of the 1985 IEEE Symposium on Security and Privacy, 1985

1983

A Key Distribution Protocol Using Event Markers

R. Kenneth Bauer, Thomas A. Berson, Richard J. Feiertag

ACM Trans. Comput. Syst., 1983

Processor-per-Domain Guard Architecture.

Thomas A. Berson, Richard J. Feiertag, R. Kenneth Bauer

Proceedings of the 1983 IEEE Symposium on Security and Privacy, 1983

1981

An avenue for exploitation and development of verification technology.

Richard J. Feiertag, Thomas A. Berson

ACM SIGSOFT Softw. Eng. Notes, 1981

1979

The foundations of a provably secure operating system (PSOS).

Richard J. Feiertag, Peter G. Neumann

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

1977

Proving Multilevel Security of a System Design.

Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson

Proceedings of the Sixth Symposium on Operating System Principles, 1977

1976

Software Development and Proofs of Multi-Level Security.

Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson

Proceedings of the 2nd International Conference on Software Engineering, 1976

1971

The MULTICS Input/Output System.

Richard J. Feiertag, Elliott I. Organick

Proceedings of the Third Symposium on Operating System Principles, 1971