Multinet Gateway-Towards A1 Certification. - George W. Dinolt; Richard B. Neely; P. C. Baker; James W. Freeman (S&P, 1984)

Structuring Systems for Formal Verification. - Richard B. Neely; James W. Freeman (S&P, 1985)

Achieving Understandable Results in a Formal Design Verification. - Richard B. Neely; James W. Freeman; M. D. Krenzin (CSFW, 1989)

A validated security policy modeling approach. - James W. Freeman; Richard B. Neely; M. A. Heckard (ACSAC, 1994)

Risk Assessment for Large Heterogeneous Systems. - James W. Freeman; T. C. Darr; Richard B. Neely (ACSAC, 1997)