Database Security: Status and Prospects: Results of the IFIP WG 11.3 Workshop on Data Base Security, Lake Guntersville, Alabama, U. S. A., 12-15 September, 1993

Preface. Policy Modeling. (Chair: J. Dobson). About the enforcement of state dependent security specifications (J. Biskup, C. Eckert). Complex subjects or: the striving for complexity is ruling our world (D. Jonscher, J.D. Moffett, K.R. Dittrich). Object-Oriented Systems. (Chair: T.C. Ting). Applying OMT for designing multilevel database applications (P.J. Sell, B.M. Thuraisingham). An interpretation of Clark-Wilson for object-oriented DBMSs (W.R. Herndon). Distributed Databases. (Chair: O. Costich). Integration of secrecy features in a federated database environment (N.B. Idris, W.A. Gray, M.A. Qutaishat). Integrating concurrency control and commit algorithms in distributed multilevel secure databases (S. Jajodia, C.D. McCollum, B.T. Blaustein). Concurrency Control. (Chair: T.H. Hinke). Planar lattice security structures for multilevel replicated databases (P. Ammann, S. Jajodia). Achieving stricter correctness requirements in multilevel secure databases: the dynamic case (V. Atluri, E. Bertino, S. Jajodia). DBMS Design Issues. (Chair: M. Schaefer). Granularity of data protection for MLS applications and DBMSs (A. Rosenthal, W.R. Herndon). Security properties of the SWORD secure DBMS design (S.R. Wiseman). Performance Analysis. (Chair: L.-A. Notargiacomo). A performance comparison of two decomposition techniques for multilevel secure database systems (R. Mukkamala, S. Jajodia). Performance analysis of transaction management algorithms for the SINTRA replicated-architecture database system (J. McDermott, R. Mukkamala). Integrity. (Chair: R.S. Sandhu). A model of integrity and dynamic separation of duty for atrusted DBMS (L.-A. Notargiacomo, B.T. Blaustein, C.D. McCollum). On five definitions of data integrity (R.S. Sandhu). Panel-Privacy Issues and the Design of Healthcare Information Systems. (Co-chairs: J. Filsinger, J.B. Michael). Inference. (Chair: B.M. Thuraisingham). Layered knowledge chunks for database inference (T.H. Hinke, H.S. Delugach, A. Chandrasekhar). Implementation considerations for inference detection: intended vs. actual classification (L.J. Binns). Transaction Processing. (Chair: S. Jajodia). Towards a unified framework and theory for reasoning about security and correctness of transactions in multilevel databases (R.K. Thomas, R.S. Sandhu). Maintaining multilevel transaction atomicity in MLS database systems with replicated architecture (O. Costich, M. Kang). Workshop Summary (B.M. Thuraisingham). Research Question List. Index.