Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World

Abstract : This is the first deliverable of WP5, which covers Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World. As described in the project DOW, in this document we cover the following topics: • Metrics definition • Identification of limitations of current V&V approaches and exploration of extensions/refinements/ new developments • Identification of security, privacy and trust models WP5 focus is on dependability concerning the peculiar aspects of the project, i.e., the threats deriving from on-the-fly synthesis of CONNECTors. We explore appropriate means for assessing/guaranteeing that the CONNECTed System yields acceptable levels for non-functional properties, such as reliability (e.g., the CONNECTor will ensure continued communication without interruption), security and privacy (e.g., the transactions do not disclose confidential data), trust (e.g., Networked Systems are put in communication only with parties they trust). After defining a conceptual framework for metrics definition, we present the approaches to dependability in CONNECT, which cover: i) Model-based V&V, ii) Security enforcement and iii) Trust management. The approaches are centered around monitoring, to allow for on-line analysis. Monitoring is performed alongside the functionalities of the CONNECTed System and is used to detect conditions that are deemed relevant by its clients (i.e., the other CONNECT Enablers). A unified lifecycle encompassing dependability analysis, security enforcement and trust management is outlined, spanning over discovery time, synthesis time and execution time.
Document type :
Reports
[Technical Report] 2010
Liste complète des métadonnées


https://hal.inria.fr/inria-00465221
Contributor : Emmanuelle Grousset <>
Submitted on : Friday, March 19, 2010 - 12:00:56 PM
Last modification on : Saturday, September 17, 2016 - 1:30:35 AM
Document(s) archivé(s) le : Tuesday, June 22, 2010 - 10:42:46 AM

File

connect_WP5_D51.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00465221, version 1

Collections

Citation

Antonia Bertolino, Silvano Chiaradonna, Gabriele Costa, Felicita Di Giandomenico, Antinisca Di Marco, et al.. Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World. [Technical Report] 2010. <inria-00465221>

Share

Metrics

Record views

287

Document downloads

305