Sfoglia per Autore
Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction
2000-01-01 Cortesi, Agostino; B., LE CHARLIER; P., VAN HENTENRYCK
Abstract Domains for Reordering CLP(RLin) Programs
2000-01-01 V., Ramachandran; Cortesi, Agostino; P., VAN HENTENRYCK
Control Flow Analysis for information flow security
2001-01-01 Chiara, Braghin; Cortesi, Agostino; Focardi, Riccardo
Information Flow Security in Mobile Ambients
2001-01-01 Cortesi, Agostino; Focardi, Riccardo
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations
2001-01-01 Cortesi, Agostino; Rossi, Sabina; LE CHARLIER, B.
Reexecution-Based Analysis of Logic Programs with Delay Declarations.
2001-01-01 Cortesi, Agostino; LE CHARLIER, B.; Rossi, Sabina
Distinctness and Sharing Domains for Static Analysis of Java Programs
2001-01-01 Pollet, I.; LE CHARLIER, B.; Cortesi, Agostino
Freshness Analysis in Security Protocols
2002-01-01 C., Braghin; Cortesi, Agostino; Focardi, Riccardo
Italian National Curriculum on ICT for Schools
2002-01-01 G., Callegarin; Cortesi, Agostino
Special issue on "Computer Languages and Security"
2002-01-01 Cortesi, Agostino; Focardi, Riccardo
Boundary Inference for Enforcing Security Policies in Mobile Ambients
2002-01-01 Braghin, C.; Cortesi, Agostino; Focardi, Riccardo; VAN BAKEL, S.
Verification, Model Checking, and Abstract Interpretation
2002-01-01 Cortesi, Agostino
Control Flow Analysis of Mobile Ambients with Security Boundaries
2002-01-01 Braghin, C.; Cortesi, Agostino; Focardi, Riccardo
Computer Languages and Security
2002-01-01 Cortesi, Agostino; Focardi, Riccardo
Security Boundaries in Mobile Ambient
2002-01-01 Braghin, C.; Cortesi, Agostino; Focardi, Riccardo
Operational and Abstract Semantics of the Query Language G-Log
2002-01-01 Cortesi, Agostino; Dovier, A.; Quintarelli, E.; Tanca, L.
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003
2003-01-01 LENORE D., Zuck; PAUL C., Attie; Supratik, Mukhopadhyay; Cortesi, Agostino
BANANA: A tool for Boundary Ambients Nesting ANAlysis
2003-01-01 C., Braghin; Cortesi, Agostino; S., Filippone; Focardi, Riccardo; Luccio, Flaminia; C., Piazza
Static Analysis
2003-01-01 Cortesi, Agostino; G., File'
Information Leakage Detection in Boundary Ambients
2003-01-01 Chiara, Braghin; Cortesi, Agostino; Focardi, Riccardo
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