CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 7 di 7
Titolo Data di pubblicazione Autore(i) File
Typing Context-Dependent Behavioural Variation 1-gen-2011 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
On Quantitative Security Policies 1-gen-2011 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
Nominal Automata for Resource Usage Control 1-gen-2012 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Mezzetti, Gianluca
Towards Nominal Context-Free Model-Checking 1-gen-2013 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Mezzetti, Gianluca
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
Mostra risultati da 1 a 7 di 7
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