正式编排Web服务动态验证会话A Formal Dynamic Verification of Choreographed Web Services Conversations.pdf
文本预览下载声明
O
C S L
S P S L
E A
C
A F D V
C W S C
Karim Dahmani Mahjoub Langar Riadh Robbana
K D M L R R A F D V C W S
O
C S L
S P S L
E A
C
A
1 O
2 C S L
3 S P S L
4 E A
5 C
K D M L R R A F D V C W S
O
C S L
S P S L
E A
C
O
Motivations
Web services composition
Security policies
Formalization of the problem
The proposed approach
Example
K D M L R R A F D V C W S
O
C S L
S P S L
E A
C
M
P
Ensuring that a service coming from an untrusted source will
not compromise the integrity and the good operation of the
target system.
G
To develop a formal technique that enforces a security policy
on a given choreographed services, while providing a proof of
validity.
K D M L R R A F D V C W S
O
C S L
S P S L
E A
C
W S C
Composition of web services offer complex services.
Techniques of composition are
Orchestration defines an orchestrater that monitor the
different implied web services (BPEL).
Choreography defines complex tasks to coordinate
collaborations between web services (WS-CDL).
K D M L R R A F D V C W S
O
C S L
显示全部