Pages that link to "Item:Q3525006"
From MaRDI portal
The following pages link to Towards an Automatic Analysis of Web Service Security (Q3525006):
Displaying 7 items.
- Satisfiability of general intruder constraints with and without a set constructor (Q507349) (← links)
- Validating a web service security abstraction by typing (Q2576588) (← links)
- On the relationship between web services security and traditional protocols (Q2852371) (← links)
- SMART SECURITY ASSESSMENT OF COMPOSED WEB SERVICES (Q3012695) (← links)
- Formal Methods for Components and Objects (Q5311305) (← links)
- Key Substitution in the Symbolic Analysis of Cryptographic Protocols (Q5458828) (← links)
- A semantics for web services authentication (Q5892652) (← links)