An Online Algorithm Enabling Authentication and Integrity for Real-Time Systems
Mohamed Amine Youssef · 2019
A large number of embedded systems have to deal with two antagonistic constraints: security and timing. These two constraints are usually studied independently, which is far from real life that must satisfy both. In aircraft, for example, the autopilot must meet all jobs' deadlines, without neglecting security. It should, inter alia, check that the messages received have not been modified in a dishonest way. In this paper, we propose a model to integrate security in real-time systems. We present an online algorithm for scheduling a real-time system which provides integrity and authentication for transmitted data. We conclude this paper by proving the non-optimality of this algorithm.