@conference {inp:BauereissHutter2014a, title = {Compatibility of Safety Properties and Possibilistic Information Flow Security in {MAKS}}, booktitle = {Proceedings of the 29th International Information Security and Privacy Conference (IFIP SEC 2014)}, year = {2014}, author = {T. Bauereiss and D. Hutter} } @conference {inp:BauereissHutter2014b, title = {Possibilistic information flow security of workflow management systems}, booktitle = {Proceedings of the 1st International Workshop on Graphical Models for Security at ETAPS 2014 (GraMSec 2014)}, year = {2014}, author = {T. Bauereiss and D. Hutter} } @conference {inp:BauereissHutter2014c, title = {Security (hyper-)properties in workflow systems: From specification to verification}, booktitle = {Electronic Proceedings of the Doctoral Symposium at the International Symposium on Engineering Secure Software and Systems (ESSoS-DS 2014)}, year = {2014}, note = {To appear.}, author = {T. Bauereiss and D. Hutter} }