Incremental Assurance for Multilevel Applications

D. Thomsen & M. Denz

The paper describes an approach, incremental assurance, for balancing security with the economic pressures of developing secure systems. The approach combines many of the existing techniques for reducing costs in developing secure systems. The paper illustrates incremental assurance with three example applications involving high assurance and multilevel DBMS technology.