Abstract | ||
---|---|---|
Defence organisations perform information security evaluations to confirm that electronic communications devices are safe to use in security--critical situations. Such evaluations include tracing all possible dataflow paths through the device, but this process is tedious and error--prone, so automated reachability analysis tools are needed to make security evaluations faster and more accurate. Previous research has produced a tool, Sifa, for dataflow analysis of basic digital circuitry, but it cannot analyse dataflow through microprocessors embedded within the circuit since this depends on the software they run. We have developed a static analysis tool that produces Sifa-compatible dataflow graphs from embedded microcontroller programs written in C. In this paper we present a case study which shows how this new capability supports combined hardware and software dataflow analyses of a security-critical communications device. |
Year | Venue | Keywords |
---|---|---|
2012 | Artificial Intelligence and Symbolic Computation | static analysis,embedded devices |
DocType | Citations | PageRank |
Conference | 2 | 0.43 |
References | Authors | |
6 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Chris Mills | 1 | 6 | 1.11 |
Colin J. Fidge | 2 | 675 | 65.37 |
Diane Corney | 3 | 51 | 5.85 |