Suche

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.

Projektbeteiligte