A semantics for web services authentication
From MaRDI portal
Publication:5892652
DOI10.1016/j.tcs.2005.03.005zbMath1142.68587MaRDI QIDQ5892652
Andrew D. Gordon, Karthikeyan Bhargavan, 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
68M10: Network design and communication in computer systems
68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)
94A62: Authentication, digital signatures and secret sharing
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Three systems for cryptographic protocol analysis
- A comparison of three authentication properties.
- Private authentication
- Validating a web service security abstraction by typing
- On the security of public key protocols
- Using encryption for authentication in large networks of computers
- A logic of authentication
- Authentication primitives and their compilation
- Mobile values, new names, and secure communication
- Formal Methods for Components and Objects
- A semantics for web services authentication