Sciweavers

Share
SOSP
1997
ACM

A Decentralized Model for Information Flow Control

10 years 5 months ago
A Decentralized Model for Information Flow Control
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with distrusted code (e.g., downloaded applets), yet still control how that code disseminates the shared information to others. The model improves on existing multilevel security models by allowing users to declassify informationin a decentralized way, and by improving support for fine-grained data sharing. The paper also shows how static program analysis can be used to certify proper information flows in this model and to avoid most run-time information flow checks.
Andrew C. Myers, Barbara Liskov
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1997
Where SOSP
Authors Andrew C. Myers, Barbara Liskov
Comments (0)
books