Inference Analysis During Multilevel Database Design [chapter]

R. K. Burns
1996 IFIP Advances in Information and Communication Technology  
Automated analysis tools offer potential solutions to many of the difficult inference problems found in multilevel database applications. The work described here brings together two interactive tools to assist the designer in creating a multilevel database application that is free of known inference problems. One tool, the SRI inference tool (Stickel, 1994b ) , is a research prototype developed under contract to Air Force Rome Laboratory. The other tool is a commercial product, Software Through
more » ... Pictures (StP), developed and marketed by Interactive Development Environments, Inc. The integration of these two tools provides a robust and modem development environment that is tailored to address multilevel database security. Keywords Multilevel security, database design, computer-aided software engineering.
doi:10.1007/978-0-387-34932-9_19 fatcat:mon3cln44vbmvgv2gnfow2u22q