Dependence Graphs for Information Assurance of Systems
Abstract
Although information flows are critical for understanding assurance and survivability of systems and system designs, tools for understanding information flows in systems are poor. This project sought to provide better tools by exploiting recent advances in tools for understanding information flows in sequential programs using dependence analysis, which provides a sound basis for understanding such information flows. The goal was to develop SystemSurfer, a tool for the information-flow properties of UML designs, and the Information Assurance Workbench, a system for finding assurance problems in programs. These systems were to be based on CodeSurfer, our program-understanding tool. The application of these techniques to UML designs required the design of extensions to the dependence analysis to support concurrency and asynchronous transfer of control. To improve accuracy, it was necessary to consider using abstract interpretation. This project was terminated early because of the cancellation of the IASET project, but not before achieving results in the area of dependence-graph representations, and queries for software assurance. The results of the research are described in the appendices.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 2003
- Accession Number
- ADA417480
Entities
People
- Ray Teitelbaum
Organizations
- GrammaTech