ISSE

Search

Model-Driven Code Generation for Information Flow Secure Systems with IFlow

Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Wolfgang Reif

Model-Driven Code Generation for Information Flow Secure Systems with IFlow

As personal information moves from home computers to mobile devices, protection against information leaks and data theft becomes an increasingly important and current issue. We develop a model-driven approach called IFlow which allows a developer to model mobile Android applications with complex information flow properties using UML. Using model-to-model and model-to-code transformations we generate code skeletons for those applications and verify noninterference properties using a language-based approach. Further, we will use those properties as lemmas for a formal verification of an automatically generated formal representation of the modeled application. In this report, we focus on automatic code generation, evaluation of language-based information flow control solutions and deployment of generated code to target platforms.
published 04.04.2012 in: Augsburg Technical Report 2012-04, Institute of Computer Science, University of Augsburg


BibTex

For questions regarding the publication, please contact publications@isse.de!


Links: