Mark R. Heckman

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