Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
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
DAPA: Degradation-Aware Privacy Analysis of Android Apps
2016-01-01 Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Steffinlongo, Enrico
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems
2016-01-01 Calzavara, Stefano; Rabitti, Alvise; Steffinlongo, Enrico; Bugliesi, Michele
Efficient security analysis of administrative access control policies
2018-03-05 Steffinlongo, Enrico
Mostrati risultati da 1 a 6 di 6
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