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

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is A and Author is R. Accorsi  [Clear All Filters]
Conference Paper
R. Accorsi, “Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen”, in Proceedings of INFORMATIK 2011 - Dependable Software for Critical Infrastructures (DSCI 2011), 2011.
R. Accorsi and Lehmann, A., “Automatic Information Flow Analysis of Business Process Models”, in 10th International Conference on Business Process Management (BPM 2012), 2012.