Real-time embedded systems can be found in a large number of devices we use, including safety-critical systems. Useful for their small size and low power consumption, they are also harder to protect against state-of-the-art attacks than general purpose systems due to their lack of hardware features. Even current defenses may not be applicable since instrumentation added to defend real-time embedded systems may cause them to miss their deadlines, rending them inoperable. We show that the static properties obtained by the scheduling policies can be used as security guarantees for the tasks composing the program. By completely securing a subset of the tasks of the program only using the scheduler policy, we remove the need to add external instrumentation on these tasks, reducing the amount of extra instructions needed to entirely protect the system. With less instrumentation, the overhead added by the defenses is reduced and can therefore be applied to a larger number of systems.
| Identifer | oai:union.ndltd.org:wpi.edu/oai:digitalcommons.wpi.edu:etd-theses-2285 |
| Date | 18 April 2019 |
| Creators | Le Baron, Thomas |
| Contributors | Robert J. Walls, Advisor, Craig Shue, Reader, Craig E. Wills, Reader |
| Publisher | Digital WPI |
| Source Sets | Worcester Polytechnic Institute |
| Detected Language | English |
| Type | text |
| Format | application/pdf |
| Source | Masters Theses (All Theses, All Years) |
Page generated in 0.0011 seconds