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 metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-01397341
Contributor : Hal Ifip <>
Submitted on : Tuesday, November 15, 2016 - 4:54:01 PM
Last modification on : Tuesday, December 12, 2017 - 8:46:01 PM
Long-term archiving on : Thursday, March 16, 2017 - 6:14:20 PM

File

978-3-642-55032-4_46_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

50

Files downloads

94