A formal dynamic verification of choreographed web services conversations

DOI10.1007/978-3-319-26059-4_19MaRDI QIDQ3464408zbMATH OpenOpenAlexFDO

Authors Karim Dahmani, Mahjoub Langar, Riadh Robbana

Publication date 27 January 2016

Published in Provable Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-26059-4_19

zbMATH Keywords

choreographyformal verificationmonitoringruntime verificationsecurity policy enforcementweb service composition

Mathematics Subject Classification ID

Internet topics (68M11) Cryptography (94A60)

Recommendations

• Validation and verification of web services choreographies by using timed automata
• The semantics and verification of timed service choreography
• Formalizing web service choreographies
• On the verification of security-aware E-services
• Requirements-driven verification of web services

Cited in

(6)

• Formalizing web service choreographies
• Research on the dynamic reconfiguration of Web application using two-phase compatibility verification
• Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
• Monitoring and recovery for web service applications
• Using linear logic to verify requirement scenarios in composite web service
• Validation and verification of web services choreographies by using timed automata

This page was built for publication: A formal dynamic verification of choreographed web services conversations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3464408)