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