MACEDONIO, Damiano
MACEDONIO, Damiano
Dipartimento di Scienze Ambientali, Informatica e Statistica
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.001 secondi).
Compliance Preorders for Web Services.
2009-01-01 Bugliesi, Michele; Macedonio, Damiano; L., Pino; Rossi, Sabina
Information Flow in Secure Contexts
2005-01-01 Bossi, Annalisa; Macedonio, Damiano; C., Piazza; Rossi, Sabina
Information Flow Security for Service Compositions.
2009-01-01 Rossi, Sabina; Macedonio, Damiano
Logics for distributed resources
2006-03-21 Macedonio, Damiano
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 |
|---|---|---|---|---|---|
| Compliance Preorders for Web Services. | 1-gen-2009 | BUGLIESI, MicheleMACEDONIO, DamianoROSSI, Sabina + | 4.1 Articolo in Atti di convegno | - | |
| Information Flow in Secure Contexts | 1-gen-2005 | BOSSI, AnnalisaMACEDONIO, DamianoROSSI, Sabina + | 2.1 Articolo su rivista | - | |
| Information Flow Security for Service Compositions. | 1-gen-2009 | ROSSI, SabinaMACEDONIO, Damiano | 4.1 Articolo in Atti di convegno | - | |
| Logics for distributed resources | 21-mar-2006 | Macedonio, Damiano | - | - | |
| 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 | - |