Sfoglia per Autore
Compliance Preorders for Web Services.
2009-01-01 Bugliesi, Michele; Macedonio, Damiano; L., Pino; Rossi, Sabina
Secrecy and Authenticity Types for Secure Distributed Messaging
2010-01-01 Bugliesi, Michele; Calzavara, Stefano; Macedonio, Damiano
Channel Abstractions for Network Security
2010-01-01 Bugliesi, Michele; Focardi, Riccardo
Abstractions for Distributed Protocol Design
2010-01-01 Bugliesi, Michele; Modesti, P.
Monadic Scripting in F# for Computer Games
2011-01-01 Maggiore, Giuseppe; Bugliesi, Michele; Orsini, Renzo
Casanova: a declarative language for safe games
2011-01-01 Maggiore, Giuseppe; Orsini, Renzo; Bugliesi, Michele
Designing Casanova: a language for games
2011-01-01 Giuseppe, Maggiore; Alvise, Spanò; Orsini, Renzo; Giulia, Costantini; Bugliesi, Michele; Abbadi, Mohamed
Type-Flow Analysis for Legacy Cobol Code
2011-01-01 Spano', Alvise; Bugliesi, Michele; Cortesi, Agostino
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols
2011-01-01 Bugliesi, Michele; Calzavara, Stefano; Maffei, M.; Eigner, F.
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
Gran: model checking grsecurity RBAC policies
2012-01-01 Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo; Squarcina, Marco
A compilation technique to increase X3D performance and safety
2012-01-01 Maggiore, Giuseppe; Abbadi, Mohamed; Pittarello, Fabio; Bugliesi, Michele
Interference-sensitive Preorders for MANETs
2012-01-01 Bugliesi, Michele; Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina
On Casanova and databases or the similarity between games and DBs
2012-01-01 Maggiore, Giuseppe; Orsini, Renzo; Bugliesi, Michele
Writing real-time .Net games in Casanova
2012-01-01 Maggiore, Giuseppe; P., Spronck; Orsini, Renzo; Bugliesi, Michele; Steffinlongo, Enrico; Abbadi, Mohamed
Typing Legacy COBOL Code
2013-01-01 Spano', Alvise; Bugliesi, Michele; Cortesi, Agostino
Affine Refinement Types for Authentication and Authorization
2013-01-01 Bugliesi, Michele; Calzavara, Stefano; Fabienne, Eigner; Matteo, Maffei
Logical Foundations of Secure Resource Management in Protocol Implementations
2013-01-01 Bugliesi, Michele; Calzavara, Stefano; Fabienne, Eigner; Matteo, Maffei
Lintent: Towards Security Type-Checking of Android Applications
2013-01-01 Bugliesi, Michele; Calzavara, Stefano; Spano', Alvise
Provably Sound Browser-Based Enforcement of Web Session Integrity
2014-01-01 Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo; Khan, Wilayat; Tempesta, Mauro
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