MEZZETTI, GIANLUCA Statistiche
MEZZETTI, GIANLUCA
DIPARTIMENTO DI INFORMATICA
Security in Pervasive Applications: A Survey
2013-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
Towards Nominal Context-Free Model-Checking
2013-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Mezzetti, Gianluca
Towards Nominal Context-Free Model-Checking
2013-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Mezzetti, Gianluca
Nominal Automata for Resource Usage Control
2012-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Mezzetti, Gianluca
Types for Coordinating Secure Behavioural Variations
2012-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
On Quantitative Security Policies
2011-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Mezzetti, Gianluca
Typing Context-Dependent Behavioural Variation
2011-01-01 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Security in Pervasive Applications: A Survey | 1-gen-2013 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca | |
Towards Nominal Context-Free Model-Checking | 1-gen-2013 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Mezzetti, Gianluca | |
Towards Nominal Context-Free Model-Checking | 1-gen-2013 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Mezzetti, Gianluca | |
Nominal Automata for Resource Usage Control | 1-gen-2012 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Mezzetti, Gianluca | |
Types for Coordinating Secure Behavioural Variations | 1-gen-2012 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca | |
On Quantitative Security Policies | 1-gen-2011 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Mezzetti, Gianluca | |
Typing Context-Dependent Behavioural Variation | 1-gen-2011 | Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca |