Engineering Secure Future Internet Services and Systems

Current Research

  • Maritta Heisel
  • Wouter Joosen
  • Javier Lopez
  • Fabio Martinelli
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8431)

Table of contents

  1. Front Matter
  2. Kristian Beckers, Isabelle Côté, Stefan Fenz, Denis Hatebur, Maritta Heisel
    Pages 1-34
  3. Riccardo Scandariato, Federica Paci, Le Minh Sang Tran, Katsiaryna Labunets, Koen Yskout, Fabio Massacci et al.
    Pages 35-64
  4. Elda Paja, Fabiano Dalpiaz, Paolo Giorgini
    Pages 65-96
  5. Miguel A. García de Dios, Carolina Dania, David Basin, Manuel Clavel
    Pages 97-118
  6. Marianne Busch, Nora Koch, Santiago Suppan
    Pages 119-139
  7. Jose A. Martín, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani
    Pages 140-159
  8. Animesh Pathak, George Rosca, Valerie Issarny, Maarten Decat, Bert Lagaisse
    Pages 160-179
  9. Francisco Moyano, Carmen Fernandez-Gago, Benoit Baudry, Javier Lopez
    Pages 180-209
  10. Antonia Bertolino, Traon Yves Le, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi
    Pages 210-233
  11. Marianne Busch, Nora Koch, Martin Wirsing
    Pages 234-265
  12. Antonia Bertolino, Marianne Busch, Said Daoudagh, Francesca Lonetti, Eda Marchetti
    Pages 266-286
  13. Marina Egea, Fabian Büttner
    Pages 287-314
  14. Kristian Beckers, Maritta Heisel, Bjørnar Solhaug, Ketil Stølen
    Pages 315-344
  15. Atle Refsdal, Øyvind Rideng, Bjørnar Solhaug, Ketil Stølen
    Pages 345-365
  16. Riccardo Conti, Alessio Lunardelli, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
    Pages 366-392
  17. Back Matter

About this book

Introduction

This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering of secure software-based Future Internet services and systems, produced by the NESSoS project researchers. The engineering approach of the Network of Excellence NESSoS, funded by the European Commission, is based on the principle of addressing security concerns from the very beginning in all software development phases, thus contributing to reduce the amount of software vulnerabilities and enabling the systematic treatment of security needs through the engineering process. The 15 papers included in this volume deal with the main NESSoS research areas: security requirements for Future Internet services; creating secure service architectures and secure service design; supporting programming environments for secure and composable services; enabling security assurance and integrating former results in a risk-aware and cost-aware software life-cycle.

Keywords

Web applications Web protocol security access control empirical research model checking risk management social network security and privacy software architecture unified modeling language (UML)

Editors and affiliations

  • Maritta Heisel
    • 1
  • Wouter Joosen
    • 2
  • Javier Lopez
    • 3
  • Fabio Martinelli
    • 4
  1. 1.INKO, Software EngineeringUniversität Duisburg-EssenDuisburgGermany
  2. 2.Department of Computer ScienceKU LeuvenHeverleeBelgium
  3. 3.Computer Science Department, Network, Information and Computer Security LabUniversity of MalagaMalagaSpain
  4. 4.Istituto di Informatica e Telematica (IIT)Consiglio Nazionale delle Ricerche (CNR)PisaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-07452-8
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-07451-1
  • Online ISBN 978-3-319-07452-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book