Towards an Automatic Analysis of Web Service Security

DOI10.1007/978-3-540-74621-8_9MaRDI QIDQ3525006zbMATH OpenOpenAlexFDO

Authors Yannick Chevalier, Michaël Rusinowitch, D. Lugiez

Publication date 16 September 2008

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74621-8_9

zbMATH Keywords

combination of decision procedurescryptographic protocolsequational theoriesrewritingsecurityverificationweb services

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12) Data encryption (aspects in computer science) (68P25)

Recommendations

• SMART SECURITY ASSESSMENT OF COMPOSED WEB SERVICES
• On the relationship between web services security and traditional protocols

Cited in

(9)

• Validating a web service security abstraction by typing
• On the relationship between web services security and traditional protocols
• SMART SECURITY ASSESSMENT OF COMPOSED WEB SERVICES
• Verifying Cryptographic Protocols with Subterms Constraints
• Satisfiability of general intruder constraints with and without a set constructor
• Formal Methods for Components and Objects
• Key Substitution in the Symbolic Analysis of Cryptographic Protocols
• A semantics for web services authentication
• A semantics for web services authentication

Describes a project that uses

Uses Software

• AVISPA
• TulaFale

This page was built for publication: Towards an Automatic Analysis of Web Service Security

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