A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno) (literal)

Anno

• 2009-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-642-10248-6_8 (literal)

Alternative label

• Lenzini G.; Martinelli F.; Matteucci I.; Gnesi S. (2009)
  A uniform approach to security and fault-tolerance specification and analysis
  in Architecting Dependable Systems VI.
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Lenzini G.; Martinelli F.; Matteucci I.; Gnesi S. (literal)

Pagina inizio

• 172 (literal)

Pagina fine

• 201 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://link.springer.com/chapter/10.1007/978-3-642-10248-6_8 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Architecting Dependable Systems VI. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 5835 (literal)

Rivista

• Lecture notes in computer science (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: Architecting Dependable Systems VI. pp. 172 - 201. 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. (literal)

Note

• Google S (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Novay, The Netherlands, CNR-IIT, Pisa, CNR-ISTI, Pisa (literal)

Titolo

• A uniform approach to security and fault-tolerance specification and analysis (literal)

Abstract

• 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. (literal)

Editore

• Springer (Editore)

Prodotto di

• Istituto di informatica e telematica (IIT) (Istituto)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Trusted and mobile systems (INT.P01.007.004) (Modulo)

Autore CNR

• ILARIA MATTEUCCI (Persona)
• STEFANIA GNESI (Persona)
• FABIO MARTINELLI (Unità di personale interno)

Insieme di parole chiave

• Keywords of "A uniform approach to security and fault-tolerance specification and analysis" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di informatica e telematica (IIT) (Istituto)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Trusted and mobile systems (INT.P01.007.004) (Modulo)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR di

• FABIO MARTINELLI (Unità di personale interno)
• STEFANIA GNESI (Persona)
• ILARIA MATTEUCCI (Persona)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Lecture notes in computer science (Rivista)

Editore di

• Springer (Editore)

Insieme di parole chiave di

• Keywords of "A uniform approach to security and fault-tolerance specification and analysis" (Insieme di parole chiave)