Sfoglia per Autore MACEDONIO, Damiano
Mostrati risultati da 1 a 6 di 6
Information Flow in Secure Contexts
2005-01-01 Bossi, Annalisa; Macedonio, Damiano; C., Piazza; Rossi, Sabina
Logics for distributed resources
2006-03-21 Macedonio, Damiano
Information Flow Security for Service Compositions.
2009-01-01 Rossi, Sabina; Macedonio, Damiano
Compliance Preorders for Web Services.
2009-01-01 Bugliesi, Michele; Macedonio, Damiano; L., Pino; Rossi, Sabina
Secrecy and Authenticity Types for Secure Distributed Messaging
2010-01-01 Bugliesi, Michele; Calzavara, Stefano; Macedonio, Damiano
Static Identification of Injection Attacks in Java
2019-01-01 Spoto, Fausto; Burato, Elisa; Ernst, Michael D.; Ferrara, Pietro; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Information Flow in Secure Contexts | 1-gen-2005 | BOSSI, AnnalisaMACEDONIO, DamianoROSSI, Sabina + | 2.1 Articolo su rivista | - | |
| Logics for distributed resources | 21-mar-2006 | Macedonio, Damiano | - | - | |
| Information Flow Security for Service Compositions. | 1-gen-2009 | ROSSI, SabinaMACEDONIO, Damiano | 4.1 Articolo in Atti di convegno | - | |
| Compliance Preorders for Web Services. | 1-gen-2009 | BUGLIESI, MicheleMACEDONIO, DamianoROSSI, Sabina + | 4.1 Articolo in Atti di convegno | - | |
| Secrecy and Authenticity Types for Secure Distributed Messaging | 1-gen-2010 | BUGLIESI, MicheleCALZAVARA, StefanoMACEDONIO, Damiano | 4.1 Articolo in Atti di convegno | - | |
| Static Identification of Injection Attacks in Java | 1-gen-2019 | Pietro FerraraDamiano Macedonio + | 2.1 Articolo su rivista | - |
Mostrati risultati da 1 a 6 di 6
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