Istituto di Scienza e Tecnologie dell'Informazione     
Lenzini G., Martinelli F., Matteucci I., Gnesi S. A uniform approach to security and fault-tolerance specification and analysis. Rogerio de Lemos, Jean-Charles Fabre,Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek (eds.). (Lecture Notes in Computer Science, vol. 5835). Heidelberg: Springer, 2009.
The availability of techniques for dependability specification and analysis is essential for the design and the implementation of trustworthy software architectures. Today's software architectures are usually designed following the principle of component-based software engineering, they are open and networked, and dependable software architectures are required to be both secure and fault-tolerant. Traditional methods of dependability analysis of software architectures must evolve as well to keep on supporting the software engineering practice. This step is not straightforward. Methods and tools for the specification and analysis of fault-tolerance are usually independent from those available in security, while a unified approach would reinforce proving the overall systems' trustworthiness. This paper demonstrates that, in certain cases, a uniform approach between fault-tolerance and security is possible. We propose to check dependability properties against an unspecified environment that plays the same role as a malicious intruder in security. Then, we show how two security analysis techniques, related to partial model checking and to generalized non-interference, can be applied to verify a family of fault-tolerance properties. A running example illustrates the applicability of the proposed approaches.
URL: http://www.springerlink.com/content/r374110t116k/?p=8fd0239dbea540cbba8d5dde4cf6dc48&pi=0
DOI: 10.1007/978-3-642-10248-6_8
Subject Dependability
Fault-Tolerance Specification and Analysis
Software Architecture
D.2.4 Software/Program Verification
D.4.6 Security and Protection
D.4.5 Reliability

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional