Mark R. Heckman

Publication Activity (10 Years)

Years Active: 1986-2016
Publications (10 Years): 2

Top Topics

Interesting Patterns

Authentication Mechanism

Security Issues

Top Venues

Publications

Mark R. Heckman, Roger R. Schell
Using Proven Reference Monitor Patterns for Security Evaluation. Inf. 7 (2) (2016)
Mark R. Heckman, Roger R. Schell, Edwards E. Reed
A multi-level secure file sharing server and its application to a multi-level secure cloud. MILCOM (2015)
Mark R. Heckman, Roger R. Schell, Edwards E. Reed
A high-assurance, virtual guard architecture. MILCOM (2012)
Mark R. Heckman, Roger R. Schell, Edwards E. Reed
Using a high assurance TCB for infrastructure security. CSIIRW (2011)
Jingmin Zhou, Mark R. Heckman, Brennen Reynolds, Adam Carlson, Matt Bishop
Modeling network intrusion detection alerts for correlation. ACM Trans. Inf. Syst. Secur. 10 (1) (2007)
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)
Mark R. Heckman, Karl N. Levitt
Applying the Composition Principle to Verify a Hierarchy of Security Servers. HICSS (3) (1998)
Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson
Verification of a Distributed Computing. HICSS (5) (1997)
Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson
Towards Applying the Composition Principle to Verify a Microkernel Operating System. TPHOLs (1996)
Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson
A Hierarchical Method for Reasoning about Distributed Programming Languages. TPHOLs (1995)
Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson
Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. HUG (1993)
Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark R. Heckman, William R. Shockley
The SeaView Security Model. IEEE Trans. Software Eng. 16 (6) (1990)
Teresa F. Lunt, Roger R. Schell, William R. Shockley, Mark R. Heckman, Dan Warren
A near-term design for the SeaView multilevel database system. IEEE Symposium on Security and Privacy (1988)
Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark R. Heckman, William R. Shockley
Element-level classification with A1 assurance. Comput. Secur. 7 (1) (1988)
Dorothy E. Denning, Teresa F. Lunt, Roger R. Schell, William R. Shockley, Mark R. Heckman
The SeaView security model. IEEE Symposium on Security and Privacy (1988)
Dorothy E. Denning, Selim G. Akl, Mark R. Heckman, Teresa F. Lunt, Matthew Morgenstern, Peter G. Neumann, Roger R. Schell
Views for Multilevel Database Security. IEEE Trans. Software Eng. 13 (2) (1987)
Dorothy E. Denning, Teresa F. Lunt, Roger R. Schell, Mark R. Heckman, William R. Shockley
A Multilevel Relational Data Model. IEEE Symposium on Security and Privacy (1987)
Dorothy E. Denning, Selim G. Akl, Matthew Morgenstern, Peter G. Neumann, Roger R. Schell, Mark R. Heckman
Views for Multilevel Database Security. IEEE Symposium on Security and Privacy (1986)