Sfoglia per Autore
Semantica operazionale: Strumenti e Applicazioni (Linguaggi Imperativi e Funzionali)
1999-01-01 Mastroeni, Isabella; C., Priami
Designing Semantics by Domain Complementation
2000-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
A characterization of symmetric semantics by domain complementation
2000-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Numerical Power Analysis
2001-01-01 Mastroeni, Isabella
Compositionality in the puzzle of semantics
2002-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Domain Compression for Complete Abstractions
2003-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Non-Standard Semantics for Program Slicing
2003-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation
2004-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Algebraic Power Analysis by Abstract Interpretation
2004-01-01 Mastroeni, Isabella
Proving abstract non-interference
2004-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Modeling Information Flow Dependencies with Boolean Functions
2004-01-01 S., Genaim; Giacobazzi, Roberto; Mastroeni, Isabella
Timed Abstract Non-Interference
2005-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining Declassification and Attack Models by Abstract Interpretation
2005-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
The PER Model of Abstract Non-Interference
2005-01-01 S., Hunt; Mastroeni, Isabella
On the role of Abstract Non-Interference in language-based security
2005-01-01 Mastroeni, Isabella
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata
2005-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Transforming semantics by abstract interpretation
2005-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Weakening Non-Interference on Databases
2006-01-01 Mastroeni, Isabella; Rossato, Rosalba
What you lose is what you leak: Information leakage in declassification policies
2007-01-01 A., Banerjee; Giacobazzi, Roberto; Mastroeni, Isabella
A proof System for Abstract Non-Interference
2008-01-01 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