You searched the blog entries for the tag jif.
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.
Keep track of new posts by subscribing to the latest posts RSS feed.
View the whole tag cloud