Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
A Methodology to build run-time Monitors for Security-Aware Workflows
2013-01-01 Bertolissi, Clara; Ranise, Silvio
Verification of Composed Array-based Systems with Applications to 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
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 | |
Verification of Composed Array-based Systems with Applications to 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 |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile