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

Export 3 results:
[ Author(Desc)] Title 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 
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.
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.