Bertolissi, Clara
Bertolissi, Clara
S&T Unit
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
A Methodology to build run-time Monitors for Security-Aware Workflows
2013-01-01 Bertolissi, Clara; Ranise, Silvio
Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes
2015-01-01 Bertolissi, Clara; Dos Santos, Daniel Ricardo; Ranise, Silvio
Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies
2015-01-01 Ranise, Silvio; Bertolissi, Clara; Uttha, Worachet
Verification of Composed Array-based Systems with Applications to Security-Aware Workflows
2013-01-01 Bertolissi, Clara; Ranise, Silvio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Methodology to build run-time Monitors for Security-Aware Workflows | 1-gen-2013 | Bertolissi, Clara; Ranise, Silvio | |
Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes | 1-gen-2015 | Bertolissi, Clara; Dos Santos, Daniel Ricardo; Ranise, Silvio | |
Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies | 1-gen-2015 | Ranise, Silvio; Bertolissi, Clara; Uttha, Worachet | |
Verification of Composed Array-based Systems with Applications to Security-Aware Workflows | 1-gen-2013 | Bertolissi, Clara; Ranise, Silvio |