|
Title:
|
AUTOMATED VERIFICATION OF WEB SERVICES TRUST |
|
Author(s):
|
Llanos Tobarra , Diego Cazorla , Fernando Cuartero |
|
ISBN:
|
978-972-8924-56-0 |
|
Editors:
|
Nuno Guimarães and Pedro Isaías |
|
Year:
|
2008 |
|
Edition:
|
Single |
|
Keywords:
|
Security, Web Services, Formal Methods. |
|
Type:
|
Full Paper |
|
First Page:
|
103 |
|
Last Page:
|
108 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
Web Services Security Policies framework determines when a request is accepted by an endpoint. In many cases, a
request is accepted if it includes an appropriate set of security tokens. A security token is a set of claims about an entity.
Web Services Trust provides mechanisms for the acquisition of security tokens. It describes a trust generic framework for
Web Services. In this paper we model three token acquisition processes defined in WS-Trust generic framework with
HLPSL language and we analyze it with AVISPA toolbox. |
|
|
|
|
|
|
