Causality and Accountability

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

Noninterference is a standard correctness condition for information flow control, but achieving it may sometimes be too expensive to be practical, particularly for distributed applications. A framework is introduced for specifying what forms of information flow control should be secured. Accountable noninterference requires that there be no information leaks via accountable information flows. An example application is in delineating sequential and distributed information flows, allowing different enforcement mechanisms for each. As such, the framework allows the specification of mechanism, dual to policy, in information flow control.

Original languageEnglish
Title of host publicationFormal Aspects in Security and Trust - 5th International Workshop, FAST 2008, Revised Selected Papers
Pages82-96
Number of pages15
DOIs
StatePublished - 2009
Event5th International Workshop on Formal Aspects in Security and Trust, FAST 2008 - Malaga, Spain
Duration: 9 Oct 200810 Oct 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5491 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Workshop on Formal Aspects in Security and Trust, FAST 2008
Country/TerritorySpain
CityMalaga
Period9/10/0810/10/08

Fingerprint

Dive into the research topics of 'Causality and Accountability'. Together they form a unique fingerprint.

Cite this