Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 23
Titolo Data di pubblicazione Autore(i) File
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 1-gen-2011 Galletta, Letterio; Levi, Giorgio
Typing Context-Dependent Behavioural Variation 1-gen-2011 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
Types for Coordinating Secure Behavioural Variations 1-gen-2012 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
Typing Context-Dependent Behavioural Variation 1-gen-2012 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, G.
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 1-gen-2012 Galletta, Letterio
Security in Pervasive Applications: A Survey 1-gen-2013 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
An Abstract Interpretation Framework for Type and Effect Systems 1-gen-2014 Galletta, Letterio
Here you can't: context-aware security. 1-gen-2014 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco
A Two-Component Language for COP 1-gen-2014 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A Two-Phase Static Analysis for Reliable Adaptation 1-gen-2014 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A Context-Oriented Extension of F#. 1-gen-2015 Canciani, Andrea; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
The cost of securing IoT communications 1-gen-2016 Bodei, Chiara; Galletta, Letterio
A Step Towards Checking Security in IoT 1-gen-2016 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Securing IoT communications: at what cost? 1-gen-2016 Bodei, Chiara; Galletta, Letterio
Context-aware security: Linguistic mechanisms and static analysis 1-gen-2016 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Salvatori, Francesco
Where Do Your IoT Ingredients Come From? 1-gen-2016 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Event-driven adaptation in COP 1-gen-2016 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 1-gen-2016 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Tracing where IoT data are collected and aggregated 1-gen-2017 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Tracking sensitive and untrustworthy data in IoT 1-gen-2017 Bodei, Chiara; Galletta, Letterio
Mostra risultati da 1 a 20 di 23
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