I detta dokument presenteras ett tillvägagångssätt för att formellt specificera och genomföra säkerhetsstrategier för genomförandet av webbtjänster. Nätbaserade tjänster i allmänhet, och webbtjänster i synnerhet, kräver omfattande mängder kod för att säkerställa att kunderna respekterar webbplatsintegrerade begränsningar. Vi tillhandahåller ett språk med vilket dessa begränsningar kan uttryckas och verkställas automatiskt, portabelt och effektivt. Säkerhetspolicyer i vårt system specificeras i ett språk baserat på temporal logik, och behandlas av en exekutionsmotor för att ge plats och plattformsspecifika åtkomstkontrollkod. Denna kod är integrerad med en webbserver och plattformsspecifika bibliotek för att upprätthålla den angivna policyn på en viss webbtjänst. Vår strategi frikopplar den säkerhetspolitiska specifikationen från tjänsteimplementeringar, ger en obligatorisk åtkomstkontrollmodell för webbtjänster och ger goda resultat. Vi visar att upp till 22% av koden i en traditionell webbtjänstmodul är dedikerad till säkerhetskontrollfunktionalitet, inklusive kontroller för kundsekvensering och parametervalidering. Vi visar att vår prototyp språkimplementation, WebGuard, gör det möjligt för webbprogrammerare att avsevärt minska mängden säkerhetskontroll kod de behöver för att utvecklas manuellt. Kvaliteten på den kod som genereras av WebGuard från formella policyspecifikationer är konkurrenskraftig med latency handgjorda koden till inom några procent.
I REF föreslås ett tillvägagångssätt för att specificera och genomföra säkerhetspolitiken.
An access control language for web services
{'venue': "SACMAT '02", 'journal': None, 'mag_field_of_study': ['Computer Science']}