NESSOS - Initial Solutions for Security Assurance for Services (Rapporti progetti di ricerca)

Type
Label
  • NESSOS - Initial Solutions for Security Assurance for Services (Rapporti progetti di ricerca) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Alternative label
  • Tigran A., Busch M., Bouquet F., Caballero J., Frédéric D., Frau S., Hoang Thai S., Klaedtke F., Koch N., Marchetti E., Rusinowitch M., Sprenger C., Torabi Dashti M., Yautsiukhin A. (2011)
    NESSOS - Initial Solutions for Security Assurance for Services
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Tigran A., Busch M., Bouquet F., Caballero J., Frédéric D., Frau S., Hoang Thai S., Klaedtke F., Koch N., Marchetti E., Rusinowitch M., Sprenger C., Torabi Dashti M., Yautsiukhin A. (literal)
Pagina inizio
  • 1 (literal)
Pagina fine
  • 52 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • DISCIPLINA DI RIFERIMENTO: Computer Science & Engineering; AREA DI VALUTAZIONE: 09 - Ingegneria industriale e informatica; (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 52 (literal)
Note
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • INRIA France; LMU; IMDE; ETH Zurich; CNR ISTI, Pisa, Italy; CNR IIT, Pisa, Italy (literal)
Titolo
  • NESSOS - Initial Solutions for Security Assurance for Services (literal)
Abstract
  • The main objective of this work package is to enable assurance in the development of software-based services in order to increase confidence in their security. The core goal is to incept a transverse methodology that enables to manage assurance throughout the software development life cycle (SDLC). Our research is divided into two main sub-domains: early assurance at the level of requirements, architecture and design using techniques such as refinement and model checking and complementary implementation-based assurance techniques such as testing and runtime verification. This deliverable summarizes the results obtained during the first year of the project. We cover most of the tasks and activities of the work package and address the majority of the challenges set out in the preceding deliverable about the state-of-the-art in assurance for services. Building on this state-of-theart, we have obtained a wide range of strong results and we were able to produce a number of highrated publications, most notably in the areas of refinement, model checking, testing and debugging, and runtime verification. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it