Istituto di Scienza e Tecnologie dell'Informazione     
Tigran A., Busch M., Bouquet F., Caballero J., Frédéric D., Frau S., Hoang T. S., Klaedtke F., Koch N., Marchetti E., Rusinowitch M., Sprenger C., Torabi Dashti M., Yautsiukhin A. NESSOS - Initial Solutions for Security Assurance for Services. Network of Excellence on Engineering Secure Future Internet Software Services and Systems. Deliverable D9.2, 2011.
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.
Subject Assurance for services
software verification
usage control
D.2.5 Testing and Debugging
D.2.4 Software/Program Verification

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