Developing Systems with Secure Information Flow - IFlow

IFlow integrates formally verified information flow control (IFC) properties and language based type systems for IFC with a software engineering approach based on model driven development.