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
Expressing and Detecting Control Flow Properties of Ditributed Computations
Language: en
Pages: 19
Authors: V. K. Garg
Categories:
Type: BOOK - Published: 1994 - Publisher:

DOWNLOAD EBOOK

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
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
Automated Deduction – CADE-20
Language: en
Pages: 470
Authors: Robert Nieuwenhuis
Categories: Computers
Type: BOOK - Published: 2005-07-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The