Towards an Automatic Analysis of Web Service Security

DOI10.1007/978-3-540-74621-8_9zbMath1148.68315OpenAlexW1588427432MaRDI QIDQ3525006

Michaël Rusinowitch, Yannick Chevalier, Denis 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

verificationsecurityrewritingcryptographic protocolsequational theoriesweb servicescombination of decision procedures

Mathematics Subject Classification ID

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

Related Items (2)

Satisfiability of general intruder constraints with and without a set constructor ⋮ Key Substitution in the Symbolic Analysis of Cryptographic Protocols

Uses Software

• AVISPA
• Unnamed Item

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