Pages that link to "Item:Q2576588"
From MaRDI portal
The following pages link to Validating a web service security abstraction by typing (Q2576588):
Displaying 6 items.
- Modelling dynamic web data (Q2566029) (← links)
- On the relationship between web services security and traditional protocols (Q2852371) (← links)
- Securing SOAP e-services (Q4707227) (← links)
- Formal Methods for Components and Objects (Q5311305) (← links)
- A semantics for web services authentication (Q5892652) (← links)
- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA (Q6104494) (← links)