|Home \ Prototypes \ Prototype Page||Login|
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  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