Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Writing real-time .Net games in Casanova
2012-01-01 Maggiore, Giuseppe; P., Spronck; Orsini, Renzo; Bugliesi, Michele; Steffinlongo, Enrico; Abbadi, Mohamed
A formal specification for Casanova, a language for computer games
2012-01-01 Giuseppe, Maggiore; Alvise, Spanò; Orsini, Renzo; Bugliesi, Michele; Abbadi, Mohamed; Steffinlongo, Enrico
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions
2015-01-01 Calzavara, Stefano; Bugliesi, Michele; S., Crafa; Steffinlongo, Enrico
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems
2016-01-01 Calzavara, Stefano; Rabitti, Alvise; Steffinlongo, Enrico; Bugliesi, Michele
DAPA: Degradation-Aware Privacy Analysis of Android Apps
2016-01-01 Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Steffinlongo, Enrico
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
Writing real-time .Net games in Casanova | 1-gen-2012 | MAGGIORE, GIUSEPPEORSINI, RenzoBUGLIESI, MicheleSteffinlongo, EnricoABBADI, MOHAMED + | 4.1 Articolo in Atti di convegno | - | |
A formal specification for Casanova, a language for computer games | 1-gen-2012 | ORSINI, RenzoBUGLIESI, MicheleABBADI, MOHAMEDSteffinlongo, Enrico + | 4.1 Articolo in Atti di convegno | - | |
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions | 1-gen-2015 | CALZAVARA, STEFANOBUGLIESI, MicheleSteffinlongo, Enrico + | 4.1 Articolo in Atti di convegno | - | |
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems | 1-gen-2016 | CALZAVARA, STEFANORabitti, AlviseSteffinlongo, EnricoBUGLIESI, Michele | 4.1 Articolo in Atti di convegno | - | |
DAPA: Degradation-Aware Privacy Analysis of Android Apps | 1-gen-2016 | CORTESI, AgostinoFerrara, PietroSteffinlongo, Enrico + | 4.1 Articolo in Atti di convegno | - |
Mostrati risultati da 1 a 5 di 5
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