Type systems for information flow control: the question of granularity
Artikel i övrig tidskrift, 2017

Information flow control is central to computer security. The objective of information flow control is to prevent unauthorized flows of secret information to the public outputs of a computation. This task is often accomplished using type systems that rely on modal operators to label and track information and, hence, this style of enforcing information flow control is deeply ingrained in logic. One key choice in designing a type system for information flow control, or dependence analysis in general, is the granularity at which dependencies are tracked. This article considers two extreme design points in this vast design space and examines their relative expressiveness.

Författare

Vineet Rajani

Max Planck Institute for Software Systems

Iulia Bastys

Max Planck Institute for Software Systems

Informationssäkerhet

Willard Thor Rafnsson

Max Planck Institute for Software Systems

Programvaruteknik

Deepak Garg

Carnegie Mellon University (CMU)

Max Planck Institute for Software Systems

ACM SIGLOG News

2372-3491 (ISSN)

Vol. 4 1 6-21

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1145/3051528.3051531

Mer information

Senast uppdaterat

2022-03-01