BEGGIATO, ALESSANDRO
BEGGIATO, ALESSANDRO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
Many-to-many information flow policies
2017 Baldan, Paolo; Beggiato, Alessandro; Lafuente, Alberto Lluch
Multilevel transitive and intransitive non-interference, causally
2018 Baldan, Paolo; Beggiato, Alessandro
Multilevel Transitive and Intransitive Non-interference, Causally
2016 Baldan, Paolo; Beggiato, Alessandro
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
Many-to-many information flow policies | 2017 | Baldan, PaoloBeggiato, Alessandro + | LECTURE NOTES IN COMPUTER SCIENCE | - | COORDINATION 2017 |
Multilevel transitive and intransitive non-interference, causally | 2018 | Baldan, PaoloBeggiato, Alessandro | THEORETICAL COMPUTER SCIENCE | - | - |
Multilevel Transitive and Intransitive Non-interference, Causally | 2016 | BALDAN, PAOLOBEGGIATO, ALESSANDRO | - | LECTURE NOTES IN COMPUTER SCIENCE | Coordination 2016 |