The Science of Quantitative Information Flow
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…
Mehr
CHF 78.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
L048:
Lieferbar in 48 Stunden
Produktdetails
Weitere Autoren: Chatzikokolakis, Konstantinos / McIver, Annabelle / Morgan, Carroll / Palamidessi, Catuscia / Smith, Geoffrey
- ISBN: 978-3-319-96129-3
- EAN: 9783319961293
- Produktnummer: 27813936
- Verlag: Springer Nature EN
- Sprache: Englisch
- Erscheinungsjahr: 2020
- Seitenangabe: 478 S.
- Masse: 1 Ex.; H23.5 cm x B15.5 cm 0 g
- Auflage: 1st ed. 2020
- Abbildungen: Book
- Sonstiges: Graduate
Über den Autor
Mário S. Alvim is assistant professor in the Computer Science Department of the Universidade Federal de Minas Gerais in Belo Horizonte. His current research interests include formal methods for security and privacy, as well as applications of quantitative information flow to fields beyond security. Kostas Chatzikokolakis is associate professor at the University of Athens. He works on security and privacy, in particular quantitative information flow, location privacy, and differential privacy. Annabelle McIver is professor in the Dept. of Computing at Macquarie University in Sydney. She works on mathematical techniques for the verification of probabilistic systems. Carroll Morgan is professor in the School of Engineering and Computer Science at the University of New South Wales, and is affiliated with the Trustworthy Systems Group of CSIRO's Data61. His current interests are quantitative information flow, program derivation (including security), and proved correctness of multicore operating-system kernels. Catuscia Palamidessi is director of research at Inria Saclay. She is the leader of COMÈTE, a research team in the Inria and École Polytechnique shared lab. Her main research interests are quantitative information flow, privacy, and concurrency theory. Geoffrey Smith is professor in the School of Computing and Information Sciences of Florida International University in Miami. His current research interests include quantitative information flow and its applications to cryptography.
3 weitere Werke von Mário S. Alvim:
Bewertungen
Anmelden