Richard B. Neely

Publication Activity (10 Years)

Years Active: 1973-1999
Publications (10 Years): 0

Publications

Richard B. Neely
Security Architecture Development and Results for a Distributed Modeling and Simulation System . ACSAC (1999)
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)
M. A. Padlipsky, K. J. Biba, Richard B. Neely
KSOS - Computer network applications. MARK (1979)
Raj Reddy, Lee D. Erman, Richard D. Fennell, Richard B. Neely
The Hearsay- I Speech Understanding System: An Example of the Recognition Process. IEEE Trans. Computers 25 (4) (1976)
Richard B. Neely, George M. White
On the Use of Syntax in a Low Cost Real Time Speech Recognition System. IFIP Congress (1974)
Dabbala Rajagopal Reddy, Lee D. Erman, R. D. Fenneli, Richard B. Neely
The Hearsay Speech Understanding System: An Example of the Recognition Process. IJCAI (1973)