Information Leakage as a Scheduling Resource

2017
Supplement
Chapter

Published in:

Authors: Fabrizio Biondi; Mounir Chadli; Thomas Given-Wilson; Axel Legay
Published in: Critical Systems: Formal Methods and Automated Verification
Publisher: Springer International Publishing

Read first chapter Log in

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

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.

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

more than 102.000 books
more than 537 journals

from the following subject areas:

Automotive
Construction + Real Estate
Business IT + Informatics
Electrical Engineering + Electronics
Energy + Sustainability
Finance + Banking
Management + Leadership
Marketing + Sales
Mechanical Engineering + Materials
Insurance + Risk

Secure your knowledge advantage now!

inform now

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

more than 67.000 books
more than 390 journals

from the following specialised fileds:

Automotive
Business IT + Informatics
Construction + Real Estate
Electrical Engineering + Electronics
Energy + Sustainability
Mechanical Engineering + Materials

Secure your knowledge advantage now!

inform now

Springer Professional "Business + Economics"

Online-Abonnement

Springer Professional "Business + Economics" gives you access to:

more than 67.000 books
more than 340 journals

from the following specialised fileds:

Construction + Real Estate
Business IT + Informatics
Finance + Banking
Management + Leadership
Marketing + Sales
Insurance + Risk

Secure your knowledge advantage now!

inform now

previous chapter Model-Based Testing for Asynchronous Systems

next chapter A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty

Metadata
Footnotes
Literature

Title: Information Leakage as a Scheduling Resource
Authors: Fabrizio Biondi
Mounir Chadli
Thomas Given-Wilson
Axel Legay
Publisher: Springer International Publishing
Book: Critical Systems: Formal Methods and Automated Verification
Print ISBN: 978-3-319-67112-3

Electronic ISBN: 978-3-319-67113-0

Copyright Year: 2017
DOI: https://doi.org/10.1007/978-3-319-67113-0_6

This content is only visible if you are logged in and have the appropriate permissions.