%0 Conference Proceedings
%T Quantitative Information Flow for Scheduler-Dependent Systems
%+ Concurrency, Mobility and Transactions (COMETE)
%+ Efficient STAtistical methods in SYstems of systems (ESTASYS)
%+ Microsoft Research - Inria Joint Centre (MSR - INRIA)
%A Kawamoto, Yusuke
%A Given-Wilson, Thomas
%< avec comitÃ© de lecture
%B The 13th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015)
%C London, United Kingdom
%3 Electronic Proceedings in Theoretical Computer Science
%P to appear
%8 2015-04-11
%D 2015
%K Quantitative information flow
%K Composition
%K Scheduling
%K Information leakage
%K Min-entropy leakage
%K Observer
%Z Computer Science [cs]/Logic in Computer Science [cs.LO]Conference papers
%X Quantitative information flow analyses measure how much information on secrets is leaked by publicly observable outputs. One area of interest is to quantify and estimate the information leakage of composed systems. Prior work has focused on running disjoint component systems in parallel and reasoning about the leakage compositionally, but has not explored how the component systems are run in parallel or how the leakage of composed systems can be minimised. In this paper we consider the manner in which parallel systems can be combined or scheduled. This considers the effects of scheduling channels where resources may be shared, or whether the outputs may be incrementally observed. We also generalise the attacker's capability, of observing outputs of the system, to consider attackers who may be imperfect in their observations, e.g. when outputs may be confused with one another, or when assessing the time taken for an output to appear. Our main contribution is to present how scheduling and observation effect information leakage properties. In particular, that scheduling can hide some leaked information from perfect observers, while some scheduling may reveal secret information that is hidden to imperfect observers. In addition we present an algorithm to construct a scheduler that minimises the min-entropy leakage and min-capacity in the presence of any observer.
%G English
%2 https://inria.hal.science/hal-01114778/document
%2 https://inria.hal.science/hal-01114778/file/QAPL2015long.pdf
%L hal-01114778
%U https://inria.hal.science/hal-01114778
%~ X
%~ INSTITUT-TELECOM
%~ UNIV-RENNES1
%~ CNRS
%~ INRIA
%~ UNIV-UBS
%~ INSA-RENNES
%~ INRIA-RENNES
%~ IRISA
%~ LIX
%~ LIX-COMETE
%~ INRIA-SACLAY
%~ X-LIX
%~ X-DEP
%~ X-DEP-INFO
%~ IRISA_SET
%~ INRIA_TEST
%~ TESTALAIN1
%~ CENTRALESUPELEC
%~ IRISA-D4
%~ INRIA2
%~ UR1-HAL
%~ UR1-MATH-STIC
%~ UNIV-PARIS-SACLAY
%~ UR1-UFR-ISTIC
%~ INRIA-SACLAY-2015
%~ X-SACLAY
%~ TEST-UNIV-RENNES
%~ TEST-UR-CSS
%~ UNIV-RENNES
%~ INRIA-RENGRE
%~ INSTITUTS-TELECOM
%~ UR1-MATH-NUM
%~ GS-COMPUTER-SCIENCE
%~ INRIA-ETATSUNIS
%~ INRIA-ROYAUMEUNI