Information Leakage as a Scheduling Resource - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

Information Leakage as a Scheduling Resource


High-security processes have to load confidential information into shared resources as part of their operation. This confidential information may be leaked (directly or indirectly) to low-security processes via the shared resource. This paper considers leakage from high-security to low-security processes from the perspective of scheduling. The workflow model is here extended to support preemption, security levels, and leakage. Formalization of leakage properties is then built upon this extended model, allowing formal reasoning about the security of schedulers. Several heuristics are presented in the form of compositional preprocessors and postprocessors as part of a more general scheduling approach. The effectiveness of such heuristics are evaluated experimentally, showing them to achieve significantly better schedulability than the state of the art. Modeling of leakage from cache attacks is presented as a case study.
Fichier principal
Vignette du fichier
main.pdf (161.69 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01382052 , version 1 (15-10-2016)
hal-01382052 , version 2 (07-07-2017)


  • HAL Id : hal-01382052 , version 2


Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay. Information Leakage as a Scheduling Resource. International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Sep 2017, Turin, Italy. ⟨hal-01382052v2⟩
396 View
395 Download


Gmail Mastodon Facebook X LinkedIn More