Possibilistic Information Flow Control in MAKS and Action Refinement

@inproceedings{pub1891,
    author = {

Hutter, Dieter
},
    editor = {

Müller, Günter
},
    title = {Possibilistic Information Flow Control in MAKS and Action Refinement},
    booktitle = {Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. International Conference on Emerging Trends in Information and Communication Security (ETRICS)},
    year = {2006},
    publisher = {Springer-Verlag, LNCS}
}