Blog Tag Search

You searched the blog entries for the tag jif.

Information Flow in Java with JIF

2nd June 2008

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.