Genom detta dokument införs en ram för säkerhetsorienterad programvarutjänstkomposition och utveckling. De viktigaste byggstenarna i ramverket är en semantisk modell för att specificera säkerhetsmål och egenskaper på service- och systemnivå, förhandlings- och omförhandlingsteknik för tjänstesammansättning och utveckling samt analysteknik för att kontrollera säkerhetskompatibiliteten mellan tjänster och tillfredsställelsen av säkerhetsmålen på systemnivå. Den fokuserar på att utveckla tekniker som gör det möjligt för systemutvecklare att utforma nödvändig säkerhet i tjänstesammansättningar med förutsägbarhet och att underhålla eller anpassa tjänstesammansättningar i ändrade säkerhetssammanhang.
En förhandlingsbaserad teknik för säker tjänstesammansättning föreslås i REF.
Security-Oriented Service Composition and Evolution
{'venue': "2006 13th Asia Pacific Software Engineering Conference (APSEC'06)", 'journal': "2006 13th Asia Pacific Software Engineering Conference (APSEC'06)", 'mag_field_of_study': ['Computer Science']}