James W. Freeman

Publication Activity (10 Years)

Years Active: 1984-1997
Publications (10 Years): 0

Publications

James W. Freeman, T. C. Darr, Richard B. Neely
Risk Assessment for Large Heterogeneous Systems. ACSAC (1997)
James W. Freeman, Richard B. Neely, M. A. Heckard
A validated security policy modeling approach. ACSAC (1994)
Richard B. Neely, James W. Freeman, M. D. Krenzin
Achieving Understandable Results in a Formal Design Verification. CSFW (1989)
Richard B. Neely, James W. Freeman
Structuring Systems for Formal Verification. IEEE Symposium on Security and Privacy (1985)
George W. Dinolt, Richard B. Neely, P. C. Baker, James W. Freeman
Multinet Gateway-Towards A1 Certification. IEEE Symposium on Security and Privacy (1984)