Nicola Bena

Presentation: Certification Meets Modern Service-Based Systems: Connecting Service and Certificate Life Cycle

April 30, 2023

On May 5, 2023, I am going to ITASEC 2023 to present a portion of our work entitled Multi-Dimensional Certification of Modern Distributed Systems, authored by Marco Anisetti and Claudio Ardagna.

The title of the presentation is Certification Meets Modern Service-Based Systems: Connecting Service and Certificate Life Cycle, and here is the full abstract:

The cloud computing has deeply changed how distributed systems are engineered, leading to the proliferation of ever-evolving and complex environments, where legacy systems, microservices, and nanoservices coexist. These services can severely impact on individuals’ security and safety, calling for solutions that properly assess and verify their correct behavior. Security assurance stands out as the way to address such pressing needs, with certification techniques being used to certify that a given target holds some non-functional properties. However, existing techniques build their evaluation on software artifacts only, falling short in providing a thorough evaluation of the non-functional properties under certification. We start from this gap and present a multi-dimensional certification scheme where additional dimensions model relevant aspects (e.g., programming languages and development processes) that significantly contribute to the quality of the certification results. A multi-dimensional certification enables a new generation of service selection approaches capable to handle a variety of user’s requirements on the full system life cycle, from system development to its operation and maintenance.