Skip to Main content Skip to Navigation
New interface
Conference papers

Formalizing Information Flow Control in a Model-Driven Approach

Abstract : Information flow control is a promising formal technique to guarantee the privacy and desired release of our data in an always connected world. However, it is not easy to apply in practice. IFlow is a model-driven approach that supports the development of distributed systems with information flow control. A system is modeled with UML and automatically transformed into a formal specification as well as Java code. This paper shows how the this specification is generated and presents several advantages of a model-driven approach for information flow control.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, November 15, 2016 - 4:54:01 PM
Last modification on : Tuesday, January 18, 2022 - 1:32:01 PM
Long-term archiving on: : Thursday, March 16, 2017 - 6:14:20 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif. Formalizing Information Flow Control in a Model-Driven Approach. 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.456-461, ⟨10.1007/978-3-642-55032-4_46⟩. ⟨hal-01397341⟩



Record views


Files downloads