Vi tar itu med problemet med att säkra sekvenser av SOAP-meddelanden som utbyts mellan webbtjänster och deras kunder. WS-säkerhetsstandarden definierar grundläggande mekanismer för att säkra SOAP-trafik, ett meddelande i taget. För typiska webbtjänster är det dock ganska ineffektivt att använda WS-Security oberoende för varje meddelande; dessutom är det ofta viktigt att säkra integriteten för en hel session, liksom för varje meddelande. I detta syfte tillhandahåller de senaste specifikationerna ytterligare mekanismer på SOAP-nivå. WS-SecureConversation definierar säkerhetssammanhang som kan användas för att säkra sessioner mellan två parter. WS-Trust anger hur säkerhetssammanhang utfärdas och erhålls. Vi utvecklar en semantik för de viktigaste mekanismerna i WS-Trust och WS-SecureConversation, uttryckt som ett bibliotek för TulaFale, ett formellt skriptspråk för säkerhetsprotokoll. Vi modellerar typiska protokoll som förlitar sig på dessa mekanismer och automatiskt bevisar deras viktigaste säkerhetsegenskaper. Vi diskuterar också informellt några fallgropar och begränsningar av dessa specifikationer.
Bhargavan m.fl. REF utvecklar mekanismer för att förfina WS-Trust och WS-Secure Conversation med hjälp av ett formellt skriptspråk för säkerhetsprotokoll.
Secure sessions for Web services
{'venue': 'TSEC', 'journal': None, 'mag_field_of_study': ['Computer Science']}