Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Component-Oriented Verification of Noninterference Alessandro Aldini Marco Bernardo

Summary: Component-Oriented Verification of Noninterference
Alessandro Aldini Marco Bernardo
Dipartimento di Matematica, Informatica, Fisica e Chimica ­ Universit`a di Urbino, Italy
Component-based software engineering often relies on libraries of trusted
components that are combined to build dependable and secure software sys-
tems. Resource dependences, constraint conflicts, and information flow in-
terferences arising from component combination that may violate security
requirements can be revealed by means of the noninterference approach to
information flow analysis. However, the security of large component-based
systems may be hard to assess in an efficient and systematic way. In this
paper, we propose a component-oriented formulation of noninterference that
enables compositional security verification driven by system topology. This is
realized by implementing scalable noninterference checks in the formal frame-
work of a process algebraic architectural description language equipped with
equivalence checking techniques.
Key words: component-based software systems, noninterference analysis,
architectural description languages, process algebra, equivalence checking.
1. Introduction
Modern software architectures are built on components that can be developed


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


Collections: Computer Technologies and Information Sciences