The Science of Quantitative Information Flow

The Science of Quantitative Information Flow
Author :
Publisher : Springer Nature
Total Pages : 478
Release :
ISBN-13 : 9783319961316
ISBN-10 : 3319961314
Rating : 4/5 (14 Downloads)

Book Synopsis The Science of Quantitative Information Flow by : Mário S. Alvim

Download or read book The Science of Quantitative Information Flow written by Mário S. Alvim and published by Springer Nature. This book was released on 2020-09-23 with total page 478 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that certain information leaks are small enough to be tolerated – and how systems can be constructed that achieve rigorous, quantitative information-flow guarantees in those terms. It addresses the fundamental challenge that functional and practical requirements frequently conflict with the goal of preserving confidentiality, making perfect security unattainable. Topics include: a systematic presentation of how unwanted information flow, i.e., "leaks", can be quantified in operationally significant ways and then bounded, both with respect to estimated benefit for an attacking adversary and by comparisons between alternative implementations; a detailed study of capacity, refinement, and Dalenius leakage, supporting robust leakage assessments; a unification of information-theoretic channels and information-leaking sequential programs within the same framework; and a collection of case studies, showing how the theory can be applied to interesting realistic scenarios. The text is unified, self-contained and comprehensive, accessible to students and researchers with some knowledge of discrete probability and undergraduate mathematics, and contains exercises to facilitate its use as a course textbook.


The Science of Quantitative Information Flow Related Books

The Science of Quantitative Information Flow
Language: en
Pages: 478
Authors: Mário S. Alvim
Categories: Computers
Type: BOOK - Published: 2020-09-23 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing p
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Language: en
Pages: 485
Authors: Mário S. Alvim
Categories: Computers
Type: BOOK - Published: 2019-11-04 - Publisher: Springer Nature

DOWNLOAD EBOOK

​​This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features 6 laudations, which are available in the
Quantitative Evaluation of Systems
Language: en
Pages: 406
Authors: Erika Ábrahám
Categories: Computers
Type: BOOK - Published: 2022-09-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2
Foundations of Software Science and Computational Structures
Language: en
Pages: 484
Authors: Luca De Alfaro
Categories: Computers
Type: BOOK - Published: 2009-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 200
Information Security Practice and Experience
Language: en
Pages: 628
Authors: Weizhi Meng
Categories: Computers
Type: BOOK - Published: 2023-12-09 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Conference on Information Security Practice and Experience, ISPEC 2023, held in Copenha