Formal Verification of Information Flow Secure Systems with IFlow

Report English OPEN
Fischer, Peter; Katkalov, Kuzman; Stenzel, Kurt; Reif, Wolfgang (Prof. Dr.);
  • Subject: Modellgetriebene Entwicklung | Informationsfluss | Verifikation
    • ddc: ddc:004

This report presents an approach called IFlow which allows the model-driven development of secure systems regarding information flow. The approach focuses on the application domain of mobile applications and web services. A developer starts by creating an abstract UML m... View more
Share - Bookmark

  • Download from
  • Cite this publication