CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Prototypes  \  Prototype Page Login  
banner bottom
File Top
LiveWeb Information Flow

This prototype is the implementation of the work entitled "Information Flow Analysis using Data-dependent Logical Propositions", that extends the language of [1] with an information flow mechanism based on a lattice of logical expressions. This work was produced by Paulo Ferreira.

Authors: Carla Ferreira, João Costa Seco
File Bottom