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

Export 3 results:
Author [ Title(Asc)] Type Year
Filters: Author is R. Accorsi  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
R. Accorsi and Wonnemann, C., “Strong non-leak guarantees for workflow models”, in Proceedings of the 26th ACM Symposium on Applied Computing (SAC 2011), 2011.
A
R. Accorsi and Lehmann, A., “Automatic Information Flow Analysis of Business Process Models”, in 10th International Conference on Business Process Management (BPM 2012), 2012.
R. Accorsi, “Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen”, in Proceedings of INFORMATIK 2011 - Dependable Software for Critical Infrastructures (DSCI 2011), 2011.