Kvantitativa informationsflödesanalyser mäter hur mycket information om hemligheter som läcker ut av offentligt observerbara utgångar. Ett intresseområde är att kvantifiera och uppskatta informationsläckaget hos sammansatta system. Tidigare arbete har fokuserat på att köra separata komponentsystem parallellt och resonemang om läckagesammansättningen, men har inte undersökt hur komponentsystemen drivs parallellt eller hur läckaget av sammansatta system kan minimeras. I detta dokument överväger vi hur parallella system kan kombineras eller schemaläggas. Detta tar hänsyn till effekterna av schemaläggningskanaler där resurser kan delas, eller om resultaten kan observeras stegvis. Vi generaliserar också angriparens förmåga, att observera utdata från systemet, att överväga angripare som kan vara ofullkomliga i sina observationer, t.ex. när utdata kan förväxlas med varandra, eller vid bedömning av den tid det tar för en utmatning att visa sig. Vårt huvudsakliga bidrag är att presentera hur schemaläggning och observation effekt information läckage egenskaper. I synnerhet denna schemaläggning kan dölja en del läckt information från perfekta observatörer, medan en del schemaläggning kan avslöja hemlig information som är dold för ofullkomliga observatörer. Dessutom presenterar vi en algoritm för att konstruera en schemaläggare som minimerar min-entropi läckage och min-kapacitet i närvaro av någon observatör.
I REF anser författarna att en helt passiv observatör som visas utdata från två kanaler, interleaved enligt någon schemaläggare; målet är att hitta en schemaläggare som minimerar informationsläckage.
Quantitative Information Flow for Scheduler-Dependent Systems
{'venue': 'EPTCS 194, 2015, pp. 48-62', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}