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.

Blog Tags

aiesec  alexi-murdoch  apple  badge  bat-for-lashes  bbc  birthday  bjork  boulder  breckenridge  california  camping  cartoon-cowboy  cave-divers  cbbc  chucklebrothers  chucklevision  coachella  colorado  costume  css  denver  design  django  dmv  driving  ecology  edinburgh  extension  festival  fox-theatre  get-golden  gig  glasgow  gun  halloween  handcuffs  information-flow  interpol  java  jif  keystone  leaks  leopard  mexican  microsoft  midnight-movies  music  nyc  palm-springs  programming  python  radiohead  ratm  recycling  relocation  restaurant  rhcp  san-francisco  security  september  skiing  sopaipilla  tagging  test  theory  tiesto  time-machine  tutorial  video  wwdc  yosemite 

View the whole tag cloud

Keep track of new posts by subscribing to the latest posts RSS feed.