TY - GEN
T1 - Causality and Accountability
AU - Duggan, Dominic
AU - Wu, Ye
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=67650690866&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=67650690866&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-01465-9_6
DO - 10.1007/978-3-642-01465-9_6
M3 - Conference contribution
AN - SCOPUS:67650690866
SN - 364201464X
SN - 9783642014642
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 82
EP - 96
BT - Formal Aspects in Security and Trust - 5th International Workshop, FAST 2008, Revised Selected Papers
T2 - 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008
Y2 - 9 October 2008 through 10 October 2008
ER -