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)