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.