Dieter Hutter. Possibilistic Information Flow Control in MAKS and Action Refinement. In Günter Müller, editor, Emerging Trends in Information and Communication Security, International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006, Proceedings. Volume 3995 of Lecture Notes in Computer Science, pages 268-281, Springer, 2006. [doi]
Abstract is missing.