Mark R. Heckman

According to our database, Mark R. Heckman authored at least 17 papers between 1986 and 2016.

Collaborative distances:

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

2016

Using Proven Reference Monitor Patterns for Security Evaluation.

Mark R. Heckman, Roger R. Schell

Inf., 2016

2015

A multi-level secure file sharing server and its application to a multi-level secure cloud.

Mark R. Heckman, Roger R. Schell, Edwards E. Reed

Proceedings of the 34th IEEE Military Communications Conference, 2015

2012

A high-assurance, virtual guard architecture.

Mark R. Heckman, Roger R. Schell, Edwards E. Reed

Proceedings of the 31st IEEE Military Communications Conference, 2012

2011

Using a high assurance TCB for infrastructure security.

Mark R. Heckman, Roger R. Schell, Edwards E. Reed

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

2007

Modeling network intrusion detection alerts for correlation.

Jingmin Zhou, Mark R. Heckman, Brennen Reynolds, Adam Carlson, Matt Bishop

ACM Trans. Inf. Syst. Secur., 2007

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

1998

Applying the Composition Principle to Verify a Hierarchy of Security Servers.

Mark R. Heckman, Karl N. Levitt

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

Verification of a Distributed Computing.

Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Towards Applying the Composition Principle to Verify a Microkernel Operating System.

Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

A Hierarchical Method for Reasoning about Distributed Programming Languages.

Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1993

Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.

Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1990

The SeaView Security Model.

Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark R. Heckman, William R. Shockley

IEEE Trans. Software Eng., 1990

1988

Element-level classification with A1 assurance.

Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark R. Heckman, William R. Shockley

Comput. Secur., 1988

A near-term design for the SeaView multilevel database system.

Teresa F. Lunt, Roger R. Schell, William R. Shockley, Mark R. Heckman, Dan Warren

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

1987

Views for Multilevel Database Security.

Dorothy E. Denning, Selim G. Akl, Mark R. Heckman, Teresa F. Lunt, Matthew Morgenstern, Peter G. Neumann, Roger R. Schell

IEEE Trans. Software Eng., 1987

A Multilevel Relational Data Model.

Dorothy E. Denning, Teresa F. Lunt, Roger R. Schell, Mark R. Heckman, William R. Shockley

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

1986

Views for Multilevel Database Security.

Dorothy E. Denning, Selim G. Akl, Matthew Morgenstern, Peter G. Neumann, Roger R. Schell, Mark R. Heckman

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