On the relationship between web services security and traditional protocols

zbMATH Open1273.68233MaRDI QIDQ2852371FDOQ2852371

Authors: E. Kleiner, A. W. Roscoe 

Publication date: 8 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002118

Recommendations

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11) Network protocols (68M12)

Cited In (6)

• Formal Methods for Components and Objects
• Towards an Automatic Analysis of Web Service Security
• A semantics for web services authentication
• A semantics for web services authentication
• Verifying Cryptographic Protocols with Subterms Constraints
• Safe abstractions of data encodings in formal security protocol models

Uses Software

• TulaFale

This page was built for publication: On the relationship between web services security and traditional protocols

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