Channels

We now turn our attention to systems that process secret information. In this part of the book, we model such systems as information-theoretic channels, which are (possibly probabilistic) functions from inputs to outputs.

  • PDF / 8,517,996 Bytes
  • 484 Pages / 439.42 x 683.15 pts Page_size
  • 98 Downloads / 245 Views

DOWNLOAD

REPORT


Mário S. Alvim  Konstantinos Chatzikokolakis  Annabelle McIver · Carroll Morgan  Catuscia Palamidessi · Geoffrey Smith

The Science of Quantitative Information Flow

Information Security and Cryptography

Series Editors David Basin Kenny Paterson Advisory Board Michael Backes Gilles Barthe Ronald Cramer Ivan Damgård Andrew D. Gordon Joshua D. Guttman Christopher Kruegel Ueli Maurer Tatsuaki Okamoto Adrian Perrig Bart Preneel

More information about this series at http://www.springer.com/series/4752

Mário S. Alvim • Konstantinos Chatzikokolakis Annabelle McIver • Carroll Morgan Catuscia Palamidessi • Geoffrey Smith

The Science of Quantitative Information Flow

Mário S. Alvim Computer Science Department Universidade Federal de Minas Gerais Belo Horizonte, Brazil Annabelle McIver Department of Computing Macquarie University Sydney, NSW, Australia Catuscia Palamidessi Inria Saclay and LIX École Polytechnique Institut Polytechnique de Paris Palaiseau, France

Konstantinos Chatzikokolakis Department of Informatics and Telecommunications University of Athens Athens, Greece Carroll Morgan School of Computer Science & Engineering University of New South Wales Trustworthy Systems, Data61 CSIRO Sydney, NSW, Australia Geoffrey Smith School of Computing & Information Sciences Florida International University Miami, FL, USA

ISSN 1619-7100 ISSN 2197-845X (electronic) Information Security and Cryptography ISBN 978-3-319-96129-3 ISBN 978-3-319-96131-6 (eBook) https://doi.org/10.1007/978-3-319-96131-6 © Springer Nature Switzerland AG 2020 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors, and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. This Springer imprint is published by the registered company Springer Nature Switzerland AG The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland

The authors dedicate this book as follows: Mário S. Alvim to his mother, Maria Angélica, his stepfather, Mario, his b