A Practical Tool for Developing Trusted Applications
Cynthia E. Irvine, Dennis Volpano · Defense Technical Information Center (DTIC) · 1995
We introduce a tool we are developing that will allow designers of trusted applications to isolate those portions of a system where an information flow policy is being violated. The tool is a language-sensitive editor that checks a program for policy violations incrementally as the program is developed. What is novel about our approach is that the checking occurs as a form of type checking.