Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Two Formal Approaches for Approximating Noninterference Properties
 

Summary: Two Formal Approaches for Approximating
Noninterference Properties
Alessandro Aldini1
, Mario Bravetti2
, Alessandra Di Pierro3
,
Roberto Gorrieri2
, Chris Hankin4
, and Herbert Wiklicky4
1
Istituto STI, Universit`a di Urbino Carlo Bo, Italy
2
Dipartimento di Scienze dell'Informazione, Universit`a di Bologna, Italy
3
Dipartimento di Informatica, Universit`a di Pisa, Italy
4
Department of Computing, Imperial College, London, UK
Abstract. The formalisation of security properties for computer sys-
tems raises the problem of overcoming also in a formal setting the classi-
cal view according to which confidentiality is an absolute property stating

  

Source: Aldini, Alessandro - Dipartimento di Matematica, Fisica e Informatica, Universita’ di Urbino "Carlo Bo"

 

Collections: Computer Technologies and Information Sciences