Skip to main content
Conference ProceedingsOPEN ACCESS

Formalizing information flow control in a model-driven approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014) 8407 LNCS 456-461
DOI: 10.1007/978-3-642-55032-4_46
2Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.

This article is free to access.

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. © 2014 IFIP International Federation for Information Processing.

Cite

CITATION STYLE

APA

Stenzel, K., Katkalov, K., Borek, M., & Reif, W. (2014). Formalizing information flow control in a model-driven approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8407 LNCS, pp. 456–461). Springer Verlag. https://doi.org/10.1007/978-3-642-55032-4_46

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free