Name
Abstract | ||
|---|---|---|
Flight control, banking, medical, and other high assurance systems have a strict requirement on correct operation. Fundamental to this is the enforcement of non-interference where particular subsystems should not affect one another. In an effort to help guarantee this policy, recent work has emerged with tracking information flows at the hardware level. This article uses a specific method known as gate-level information flow tracking (GLIFT) to provide a methodology for testing information flows in two common bus protocols, I2C and USB. We show that the protocols do elicit unintended information flows and provide a solution based on time division multiple access (TDMA) that provably isolates devices on the bus from these flows. This paper also discusses the overheads in area and simulation time incurred by this TDMA based solution. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1145/2024724.2024782 | DAC |
Keywords | Field | DocType |
elicit unintended information flow,flight control,common bus protocol,high assurance system,correct operation,time division multiple access,simulation time,information flow isolation,information flow,gate-level information flow tracking,hardware level,hardware,testing,logic gate,tdma,protocols,logic gates | Information flow (information theory),Logic gate,Computer science,Computer network,Real-time computing,Electronic engineering,High assurance,Enforcement,Time division multiple access,Overhead (business),USB | Conference |
Volume | Issue | ISSN |
null | null | 0738-100X |
ISBN | Citations | PageRank |
978-1-4503-0636-2 | 15 | 0.72 |
References | Authors | |
6 | 6 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jason Oberg | 1 | 197 | 12.45 |
| Wei Hu | 2 | 15 | 1.06 |
| Ali Irturk | 3 | 95 | 7.07 |
| Mohit Tiwari | 4 | 445 | 23.94 |
| Timothy Sherwood | 5 | 1921 | 123.28 |
| Ryan Kastner | 6 | 1779 | 147.73 |