Sciweavers

SP
1998
IEEE

Complete, Safe Information Flow with Decentralized Labels

13 years 7 months ago
Complete, Safe Information Flow with Decentralized Labels
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is intended to directly address privacy and secrecy concerns, but most information flow models are too restrictive to be widely used. The decentralized label model is a new information flow model that extends traditional models with per-principal information flow policies and also permits a safe form of declassification. This paper extends this new model further, making it more flexible and expressive. We define a new formal semantics for decentralized labels and a corresponding new rule for relabeling data that is both sound and complete. We also show that these extensions preserve the ability to statically check information flow.
Andrew C. Myers, Barbara Liskov
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where SP
Authors Andrew C. Myers, Barbara Liskov
Comments (0)