TulaFale: a security tool for web services

DOI10.1007/978-3-540-30101-1_9MaRDI QIDQ5311305zbMATH OpenOpenAlexFDO

Authors Karthikeyan Bhargavan, Andrew D. Gordon, Riccardo Pucella, Cédric Fournet

Publication date 22 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100112

Mathematics Subject Classification ID

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

Recommendations

• A semantics for web services authentication
• A semantics for web services authentication
• Validating a web service security abstraction by typing
• On the relationship between web services security and traditional protocols
• Towards an Automatic Analysis of Web Service Security

Cited in

(10)

• TulaFale
• Formal specification of a web services protocol
• On the relationship between web services security and traditional protocols
• A chart semantics for the pi-calculus
• Verifying Cryptographic Protocols with Subterms Constraints
• Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
• A semantics for web services authentication
• A semantics for web services authentication
• PiDuce- A project for experimenting web services technologies
• Formal specification of a web services protocol

This page was built for publication: TulaFale: a security tool for web services

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