A semantics for web services authentication

DOI10.1016/J.TCS.2005.03.005MaRDI QIDQ5892652zbMATH OpenOpenAlexFDO

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

Publication date 30 June 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.03.005

zbMATH Keywords

Applied pi calculusWeb servicesXML security

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Authentication, digital signatures and secret sharing (94A62)

Recommendations

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

Cites work

• A comparison of three authentication properties.
• A logic of authentication
• A semantics for web services authentication
• Authentication primitives and their compilation
• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1925553 (Why is no real title available?)
• Mobile values, new names, and secure communication
• On the security of public key protocols
• Private authentication
• Three systems for cryptographic protocol analysis
• Using encryption for authentication in large networks of computers
• Validating a web service security abstraction by typing

Cited in

(11)

• Validating a web service security abstraction by typing
• On the relationship between web services security and traditional protocols
• Environment-bound SAML assertions: a fresh approach to enhance the security of SAML assertions
• Multi-party authentication protocol for web services
• On the verification of security-aware E-services
• scientific article; zbMATH DE number 1943798 (Why is no real title available?)
• scientific article; zbMATH DE number 1925553 (Why is no real title available?)
• Sometimes it's better to be STUCK! SAML transportation unit for cryptographic keys
• Webtrust -- a comprehensive authenticity and integrity framework for HTTP
• Formal Methods for Components and Objects
• A semantics for web services authentication

Describes a project that uses

Uses Software

• TulaFale
• TAPS

This page was built for publication: A semantics for web services authentication

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