publication . Report . 2012

Formal Verification of Information Flow Secure Systems with IFlow

Fischer, Peter; Katkalov, Kuzman; Stenzel, Kurt; Reif, Wolfgang (Prof. Dr.);
Open Access English
  • Published: 05 Apr 2012
  • Country: France
Abstract
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 model of a system where he can additionally specify information flow properties the system must satisfy. From the model, Java code is generated together with an information flow policy that can be checked by automated analysis tools like Jif or Joana. In addition, the UML model is transformed into a formal specification which is the basis for formal reasoning within our formal framework including t...
Subjects
free text keywords: Modellgetriebene Entwicklung, Informationsfluss, Verifikation, ddc:004
Related Organizations
Download from
OPUS Augsburg
Report . 2012
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue