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.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Kuzman Katkalov, Peter Fischer, Kurt StenzelGND, Wolfgang ReifORCiDGND
URN:urn:nbn:de:bvb:384-opus4-12813
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/1841
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2012-04)
Type:Report
Language:English
Publishing Institution:Universität Augsburg
Release Date:2012/04/04
Tag:model-driven development; code generation; information flow; Android (platform); model transformations
GND-Keyword:Modellgetriebene Entwicklung; Codegenerierung; Informationsfluss; Android <Systemplattform>; Modelltransformation
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht