You searched the blog entries for the tag leaks.
Jif presents an efficient model for data flow control based upon the Decentralized Label Model. In this second article, we look at how Jif can be used to prevent information leaks and introduce some of the core concepts of the language extension.
Read part one, The Decentralized Label Model.
While programming languages provide support for encapsulation and basic access control there are rarely methods in place to mediate how data flows around an application. This is essential to ensuring that a system does not suffer from information leaks. The Decentralized Label Model and Java Information Flow framework approach this problem by providing a means of statically checking the flow of information around an application, based on policies associated with variables.
In this, the first in a two part series on controlling information flow, we look at the problem of information flow control and how the Decentralized Label Model can be used to minimise leaks.
Keep track of new posts by subscribing to the latest posts RSS feed.
View the whole tag cloud