Blog Tag Search

You searched the blog entries for the tag java.

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.

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

Blog Tags

aiesec  alexi-murdoch  analytics  apple  architecture  badge  bat-for-lashes  bbc  birthday  bjork  boulder  breckenridge  calendar  california  camping  cancer  cartoon-cowboy  cave-divers  cbbc  charity  chef  chucklebrothers  chucklevision  coachella  colorado  commute  costume  css  data  denver  design  django  dmv  driving  ecology  edinburgh  email  equivalence  extension  festival  flying  fox-theatre  get-golden  gig  glasgow  google-apps  granularity  guerilla  guerrilla  gun  halloween  handcuffs  hg  ical  information-flow  interpol  java  jif  keystone  leaks  leopard  management  managing  mercurial  methodology  mexican  microsoft  midnight-movies  moustache  movember  music  nyc  palm-springs  principles  programming  prostate  provenance  python  qa  radiohead  ratm  reconciliation  recycling  regrouping  relocation  reporting  reproduceability  restaurant  review  rhcp  san-francisco  security  september  skiing  sopaipilla  sql  t-sql  tagging  test  theory  tiesto  time-machine  traceability  transport  travel  tube  tutorial  underground  vcs  video  wwdc  yosemite 

View the whole tag cloud