Sfoglia per Autore  

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