%0 Conference Proceedings
%T Formalizing Information Flow Control in a Model-Driven Approach
%+ University of Augsburg (UNIA)
%A Stenzel, Kurt
%A Katkalov, Kuzman
%A Borek, Marian
%A Reif, Wolfgang
%Z Part 2: The 2014 Asian Conference on Availability, Reliability and Security, AsiaARES 2014
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia)
%C Bali, Indonesia
%Y David Hutchison
%Y Takeo Kanade
%Y Bernhard Steffen
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Gerhard Weikum
%Y Linawati
%Y Made Sudiana Mahendra
%Y Erich J. Neuhold
%Y A Min Tjoa
%Y Ilsun You
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Alfred Kobsa
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%I Springer
%3 Information and Communication Technology
%V LNCS-8407
%P 456-461
%8 2014-04-14
%D 2014
%R 10.1007/978-3-642-55032-4_46
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 5
%Z TC 8
%2 https://inria.hal.science/hal-01397341/document
%2 https://inria.hal.science/hal-01397341/file/978-3-642-55032-4_46_Chapter.pdf
%L hal-01397341
%U https://inria.hal.science/hal-01397341
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-TC8
%~ IFIP-ICT-EURASIA
%~ IFIP-LNCS-8407