正式编排Web服务动态验证会话A Formal Dynamic Verification of Choreographed Web Services Conversations.pdfVIP

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