RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
A proof System for Abstract Non-Interference
2008-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
A weakening residuation in adjoining closures
2015-01-01 Mastroeni, Isabella; Giacobazzi, Roberto
Abstract Non-Interference
2008-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining classified and unclassified information by Abstract Interpretation
2008-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
An Abstract Interpretation-based Model for Safety Semantics
2009-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks
2017-01-01 Buro, Samuele; Mastroeni, Isabella
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis
2015-01-01 Bellini, Fabio; Chiodi, Roberto; Mastroeni, Isabella
Modelling Declassification Policies using Abstract Domain Completeness
2008-01-01 Mastroeni, Isabella; A., Banerjee
SEA: String Executability Analysis by Abstract Interpretation
2017-01-01 Arceri, Vincenzo; DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A proof System for Abstract Non-Interference | 1-gen-2008 | Giacobazzi, Roberto; Mastroeni, Isabella | |
A weakening residuation in adjoining closures | 1-gen-2015 | Mastroeni, Isabella; Giacobazzi, Roberto | |
Abstract Non-Interference | 1-gen-2008 | Giacobazzi, Roberto; Mastroeni, Isabella | |
Adjoining classified and unclassified information by Abstract Interpretation | 1-gen-2008 | Giacobazzi, Roberto; Mastroeni, Isabella | |
An Abstract Interpretation-based Model for Safety Semantics | 1-gen-2009 | Giacobazzi, Roberto; Mastroeni, Isabella | |
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks | 1-gen-2017 | Buro, Samuele; Mastroeni, Isabella | |
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis | 1-gen-2015 | Bellini, Fabio; Chiodi, Roberto; Mastroeni, Isabella | |
Modelling Declassification Policies using Abstract Domain Completeness | 1-gen-2008 | Mastroeni, Isabella; A., Banerjee | |
SEA: String Executability Analysis by Abstract Interpretation | 1-gen-2017 | Arceri, Vincenzo; DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella |
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
Opzioni
Scopri
Tipologia
- 07 Altra tipologia 9
- 07 Altra tipologia::07.14 Rapport... 9
Data di pubblicazione
- 2017 2
- 2015 2
- 2009 1
- 2008 4
Editore
- Dipartimento di Informatica - Uni... 3
- Dipartimento di Informatica - Uni... 3
- Dipartimento di Informatica 2
- Dipartimento di informatica - Uni... 1
Keyword
- non-interference 4
- abstract domains 2
- Abstract Interpretation 2
- Abstract interpretation 2
- abstract interpretation 2
- Abstract Non-Interference 1
- abstract non-interference 1
- adjoint functions 1
- Anti-emulation malware 1
- Automata 1
Lingua
- eng 9
Accesso al fulltext
- open 5
- no fulltext 4