Pages that link to "Item:Q2852371"
From MaRDI portal
The following pages link to On the relationship between web services security and traditional protocols (Q2852371):
Displaying 5 items.
- Safe abstractions of data encodings in formal security protocol models (Q2018750) (← links)
- Verifying Cryptographic Protocols with Subterms Constraints (Q3498465) (← links)
- Towards an Automatic Analysis of Web Service Security (Q3525006) (← links)
- Formal Methods for Components and Objects (Q5311305) (← links)
- A semantics for web services authentication (Q5892652) (← links)