Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Multilevel transitive and intransitive non-interference, causally
2018 Baldan, Paolo; Beggiato, Alessandro
Many-to-many information flow policies
2017 Baldan, Paolo; Beggiato, Alessandro; Lafuente, Alberto Lluch
Multilevel Transitive and Intransitive Non-interference, Causally
2016 Baldan, Paolo; Beggiato, Alessandro
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
Multilevel transitive and intransitive non-interference, causally | 2018 | Baldan, PaoloBeggiato, Alessandro | THEORETICAL COMPUTER SCIENCE | - | - |
Many-to-many information flow policies | 2017 | Baldan, PaoloBeggiato, Alessandro + | LECTURE NOTES IN COMPUTER SCIENCE | - | COORDINATION 2017 |
Multilevel Transitive and Intransitive Non-interference, Causally | 2016 | BALDAN, PAOLOBEGGIATO, ALESSANDRO | - | LECTURE NOTES IN COMPUTER SCIENCE | Coordination 2016 |
Mostrati risultati da 1 a 3 di 3
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