K. J. Biba

Publication Activity (10 Years)

Years Active: 1975-1979
Publications (10 Years): 0

Publications

M. A. Padlipsky, K. J. Biba, Richard B. Neely
KSOS - Computer network applications. MARK (1979)
Kenneth G. Walter, Samuel I. Schaen, William F. Ogden, William C. Rounds, D. G. Shumway, D. D. Schaeffer, K. J. Biba, Franklyn T. Bradshaw, S. R. Ames, J. M. Gilligan
Structured specification of a Security Kernel. Reliable Software (1975)