Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

R. Accorsi, “Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen”, in Proceedings of INFORMATIK 2011 - Dependable Software for Critical Infrastructures (DSCI 2011), 2011.