Expressing Information Flow Properties

Expressing Information Flow Properties
Author :
Publisher :
Total Pages : 120
Release :
ISBN-10 : 1680839365
ISBN-13 : 9781680839364
Rating : 4/5 (364 Downloads)

Book Synopsis Expressing Information Flow Properties by : Elisavet Kozyri

Download or read book Expressing Information Flow Properties written by Elisavet Kozyri and published by . This book was released on 2022-01-19 with total page 120 pages. Available in PDF, EPUB and Kindle. Book excerpt: With information comes responsibility: a responsibility to use information according to appropriate restrictions. Forced by regulations and public sentiment, technology companies are increasing the transparency of how personal data is used, allowing users to make more fine-grained decisions on how and where their information should flow. Work over the last four decades has led to the term Information flow properties being introduced. These can express complex restrictions on data usage by specifying how sensitive data may flow throughout computation. In this monograph the authors match the demand of the digital society for expressing complex data-usage restrictions with the supply of information flow properties proposed in the literature. For the first time ever, the authors perform a large-scale systematization of such information flow properties. In doing so, they survey the wide variety of information flow properties that have been formulated within the last four decades, compare their expressive power, and suggest research directions for a faster convergence between future technological demand and literature supply. This concise overview of such a diverse topic provides the reader with an invaluable reference when implementing security technologies into all types of information systems. It is particularly useful for students, researchers and practitioners working on modern day information security problems.


Expressing Information Flow Properties Related Books

Expressing Information Flow Properties
Language: en
Pages: 120
Authors: Elisavet Kozyri
Categories:
Type: BOOK - Published: 2022-01-19 - Publisher:

DOWNLOAD EBOOK

With information comes responsibility: a responsibility to use information according to appropriate restrictions. Forced by regulations and public sentiment, te
Fundamental Approaches to Software Engineering
Language: en
Pages: 347
Authors: Einar Broch Johnsen
Categories: Computers
Type: BOOK - Published: 2022-03-28 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was h
Design and Verification of Microprocessor Systems for High-Assurance Applications
Language: en
Pages: 441
Authors: David S. Hardin
Categories: Technology & Engineering
Type: BOOK - Published: 2010-03-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense
FM 2009: Formal Methods
Language: en
Pages: 820
Authors: Ana Cavalcanti
Categories: Computers
Type: BOOK - Published: 2009-11-04 - Publisher: Springer

DOWNLOAD EBOOK

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in
Automated Deduction – CADE-20
Language: en
Pages: 466
Authors: Robert Nieuwenhuis
Categories: Computers
Type: BOOK - Published: 2005-08-25 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the 20th International Conference on Automated Deduction (CADE-20). It was held July 22–27, 2005 in Tallinn, Estonia..