Sfoglia per Autore
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis
2016-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
Last Mile’s Resources
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Event-driven adaptation in COP
2016-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
Tool Supported Analysis of IoT
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, Emilio
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
Experimenting with a Context-Aware Language
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
Firewall Management With FireWall Synthesizer
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
From Natural Projection to Partial Model Checking and Back
2018-01-01 Costa, G; Basin, D; Bodei, C; Degano, P; Galletta, L
Transcompiling firewalls
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro
Language-Independent Synthesis of Firewall Policies
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo
Programming in a context-aware language
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
A Minimal Core Calculus for Solidity Contracts
2019-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
Measuring security in IoT communications
2019-01-01 Bodei, Chiara; Chessa, Stefano; Galletta, Letterio
A brief tour of formally secure compilation
2019-01-01 Busi, Matteo; Galletta, Letterio
Are all firewall systems equally powerful?
2019-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
From firewalls to functions and back
2019-01-01 Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro
Checking the Expressivity of Firewall Languages
2019-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Software security: The language approach
2019-01-01 Costa, G.; Degano, P.; Galletta, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis | 1-gen-2016 | Degano, P.; Ferrari, G. L.; Galletta, L. | |
Last Mile’s Resources | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
Event-driven adaptation in COP | 1-gen-2016 | Degano, P.; Ferrari, G. L.; Galletta, L. | |
Tool Supported Analysis of IoT | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, Emilio | |
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 | |
Experimenting with a Context-Aware Language | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio | |
Firewall Management With FireWall Synthesizer | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo | |
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio | |
From Natural Projection to Partial Model Checking and Back | 1-gen-2018 | Costa, G; Basin, D; Bodei, C; Degano, P; Galletta, L | |
Transcompiling firewalls | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro | |
Language-Independent Synthesis of Firewall Policies | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo | |
Programming in a context-aware language | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio | |
A Minimal Core Calculus for Solidity Contracts | 1-gen-2019 | Bartoletti, M.; Galletta, L.; Murgia, M. | |
Measuring security in IoT communications | 1-gen-2019 | Bodei, Chiara; Chessa, Stefano; Galletta, Letterio | |
A brief tour of formally secure compilation | 1-gen-2019 | Busi, Matteo; Galletta, Letterio | |
Are all firewall systems equally powerful? | 1-gen-2019 | Ceragioli, L.; Degano, P.; Galletta, L. | |
From firewalls to functions and back | 1-gen-2019 | Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro | |
Checking the Expressivity of Firewall Languages | 1-gen-2019 | Ceragioli, L.; Degano, P.; Galletta, L. | |
Software security: The language approach | 1-gen-2019 | Costa, G.; Degano, P.; Galletta, L. |
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