Views for Multilevel Database Security. - Dorothy E. Denning; Selim G. Akl; Matthew Morgenstern; Peter G. Neumann; Roger R. Schell; Mark R. Heckman (S&P, 1986)

A Multilevel Relational Data Model. - Dorothy E. Denning; Teresa F. Lunt; Roger R. Schell; Mark R. Heckman; William R. Shockley (S&P, 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 near-term design for the SeaView multilevel database system. - Teresa F. Lunt; Roger R. Schell; William R. Shockley; Mark R. Heckman; Dan Warren (S&P, 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)

The SeaView Security Model. - Teresa F. Lunt; Dorothy E. Denning; Roger R. Schell; Mark R. Heckman; William R. Shockley (IEEE Trans. Software Eng., 1990)

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 (HUG, 1993)

A Hierarchical Method for Reasoning about Distributed Programming Languages. - Cui Zhang; Brian R. Becker; Mark R. Heckman; Karl N. Levitt; Ronald A. Olsson (TPHOLs, 1995)

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 (TPHOLs, 1996)

Verification of a Distributed Computing. - Cui Zhang; Brian R. Becker; Dave Peticolas; Mark R. Heckman; Karl N. Levitt; Ronald A. Olsson (HICSS (5), 1997)

Applying the Composition Principle to Verify a Hierarchy of Security Servers. - Mark R. Heckman; Karl N. Levitt (HICSS (3), 1998)

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 002 (Comput. Networks, 2000)

Modeling network intrusion detection alerts for correlation. - Jingmin Zhou; Mark R. Heckman; Brennen Reynolds; Adam Carlson; Matt Bishop (ACM Trans. Inf. Syst. Secur., 2007)

Using a high assurance TCB for infrastructure security. - Mark R. Heckman; Roger R. Schell; Edwards E. Reed (CSIIRW, 2011)

A high-assurance, virtual guard architecture. - Mark R. Heckman; Roger R. Schell; Edwards E. Reed (MILCOM, 2012)

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 (MILCOM, 2015)

Using Proven Reference Monitor Patterns for Security Evaluation. - Mark R. Heckman; Roger R. Schell (Inf., 2016)