Proceedings-Artikel
Possibilistic Information Flow Control in MAKS and Action Refinement
Dieter Hutter
In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. Springer-Verlag, LNCS, 2006.