Weakening Non-Interference on Databases (abstract)

By: Isabella Mastroeni and Rosalba Rossato

Rosalba Rossato
Dep. of Electronics and Information
Politecnico di Milano

Isabella Mastroeni
Dip. di Informatica
Univ. di Verona
Strada Le Grazie a Ca' Vignal 2
I-37134 Verona, Italy


Our aim is to exploit this semantic characterization of security policies for certifying the security level of a given multilevel secure database from different points of view following the ideas proposed for ANI in language-based security.
Related papers:
  • Adjoining Declassification and Attack Models by Abstract Interpretation (ESOP'05,2005)
  • Abstract Non-Interference - Parameterizing non-interference by Abstract Interpretation (POPL'04,2004)
  • Making Abstract Interpretation Complete (JACM,2000)

  • mastroeni@sci.univr.it