Daryl McCullough

Noninterference and the composability of security properties

Daryl McCullough · 2003 · 262 citations

Engineering, Usable Security, Information Security +19

Specifications for Multi-Level Security and a Hook-Up Property.

Daryl McCullough · IEEE Symposium on Security and Privacy · 1987 · 176 citations

Engineering, Multi-level Security, Information Security +8

A hookup theorem for multilevel security

Daryl McCullough · IEEE Transactions on Software Engineering · 1990 · 114 citations

Engineering, Information Security, Verification +17

Specifications for Multi-Level Security and a Hook-Up

Daryl McCullough · 1987 · 111 citations

Engineering, Usable Security, Information Security +19

A NEW APPROACH TO EXPERT SYSTEM EXPLANATIONS

Regina Barzilay, Daryl McCullough, Owen Rambow et al. · Defense Technical Information Center (DTIC) · 1998 · 32 citations