Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif. Formalizing Information Flow Control in a Model-Driven Approach. In Linawati, Made Sudiana Mahendra, Erich J. Neuhold, A Min Tjoa, Ilsun You, editors, Information and Communication Technology - Second IFIP TC5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014. Proceedings. Volume 8407 of Lecture Notes in Computer Science, pages 456-461, Springer, 2014. [doi]
Abstract is missing.