Daryl McCullough

Publication Activity (10 Years)

Years Active: 1987-1998
Publications (10 Years): 0

Publications

Regina Barzilay, Daryl McCullough, Owen Rambow, Jonathan D. DeCristofaro, Tanya Korelsky, Benoit Lavoie
A New Approach To Expert System Explanations. INLG (1998)
Tanya Korelsky, Daryl McCullough, Owen Rambow
Knowledge requirements for the automatic generation of project management reports. KBSE (1993)
Daryl McCullough
A Hookup Theorem for Multilevel Security. IEEE Trans. Software Eng. 16 (6) (1990)
Daryl McCullough
Noninterference and the composability of security properties. IEEE Symposium on Security and Privacy (1988)
Daryl McCullough
Covert Channels and Degrees of Insecurity. CSFW (1988)
Daryl McCullough
Specifications for Multi-Level Security and a Hook-Up Property. IEEE Symposium on Security and Privacy (1987)