James W. Freeman

According to our database, James W. Freeman authored at least 5 papers between 1984 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1997

Risk Assessment for Large Heterogeneous Systems.

James W. Freeman, T. C. Darr, Richard B. Neely

Proceedings of the 13th Annual Computer Security Applications Conference (ACSAC 1997), 1997

1994

A validated security policy modeling approach.

James W. Freeman, Richard B. Neely, M. A. Heckard

Proceedings of the 10th Annual Computer Security Applications Conference, 1994

1989

Achieving Understandable Results in a Formal Design Verification.

Richard B. Neely, James W. Freeman, M. D. Krenzin

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1985

Structuring Systems for Formal Verification.

Richard B. Neely, James W. Freeman

Proceedings of the 1985 IEEE Symposium on Security and Privacy, 1985

1984

Multinet Gateway-Towards A1 Certification.

George W. Dinolt, Richard B. Neely, P. C. Baker, James W. Freeman

Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984