An application of Alloy to static analysis for secure information flow and verification of software systems
Within a multilevel secure (MLS) system, flaws in design and implementation can result in overt and covert channels, both of which may be exploited by malicious software to cause unauthorized information flows. To address this problem, the use of control dependency tracing has been explored to pr...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Monterey, California. Naval Postgraduate School, 2008.
2012
|
| Online Access: | http://hdl.handle.net/10945/10320 |