Home  /  Entropy  /  Vol: 20 Núm: 5 Par: May (2018)  /  Article
ARTICLE
TITLE

A Game-Theoretic Approach to Information-Flow Control via Protocol Composition

SUMMARY

In the inference attacks studied in Quantitative Information Flow (QIF), the attacker typically tries to interfere with the system in the attempt to increase its leakage of secret information. The defender, on the other hand, typically tries to decrease leakage by introducing some controlled noise. This noise introduction can be modeled as a type of protocol composition, i.e., a probabilistic choice among different protocols, and its effect on the amount of leakage depends heavily on whether or not this choice is visible to the attacker. In this work, we consider operators for modeling visible and hidden choice in protocol composition, and we study their algebraic properties. We then formalize the interplay between defender and attacker in a game-theoretic framework adapted to the specific issues of QIF, where the payoff is information leakage. We consider various kinds of leakage games, depending on whether players act simultaneously or sequentially, and on whether or not the choices of the defender are visible to the attacker. In the case of sequential games, the choice of the second player is generally a function of the choice of the first player, and his/her probabilistic choice can be either over the possible functions (mixed strategy) or it can be on the result of the function (behavioral strategy). We show that when the attacker moves first in a sequential game with a hidden choice, then behavioral strategies are more advantageous for the defender than mixed strategies. This contrasts with the standard game theory, where the two types of strategies are equivalent. Finally, we establish a hierarchy of these games in terms of their information leakage and provide methods for finding optimal strategies (at the points of equilibrium) for both attacker and defender in the various cases.

 Articles related

Jason Stratton Davis    

Several meta-analyses and studies have been undertaken in game-based research, which compare the efficacy of conventional teaching against the introduction of educational games into the classroom. The findings point to educational gaming providing teachi... see more


Sara Ishii    

This article examines the portrayals of Chinese and Japanese female video game characters in a purposive sample of video games and how users of online discussion forums understand these representations. The majority of game studies scholarship lacks an ... see more

Revista: Loading...

Marcelo Makoto Higuchi,Davi Noboru Nakano    

Traditional approaches to project management seek to discipline the execution and to organize different activities to be performed in order to reach the project goals. However, that focus may not be suitable for the beginning of projects that require cre... see more


Muhammad Aziz, Muhammad Anwar, Shazia Iqbal    

The aim of this study was to compute the theoretical (software-based) spectroscopic properties of valeraldehyde as a member of the aldehyde family. The structural, thermochemical, electrical and spectroscopic properties of valeraldehyde were investigated... see more



As supply chains become more complex and globalized, the individual participants of the supply chains should invest in systems based on information communication technologies (ICT) such as the remote frequency identification device (RFID) with tags that ... see more

Revista: Sustainability