Formalizing Information Flow Control in a Model-Driven Approach - Information and Communication Technology Access content directly
Conference Papers Year : 2014

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.
Fichier principal
Vignette du fichier
978-3-642-55032-4_46_Chapter.pdf (1.87 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01397341 , version 1 (15-11-2016)

Licence

Attribution

Identifiers

Cite

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⟩
43 View
52 Download

Altmetric

Share

Gmail Facebook X LinkedIn More