Pages that link to "Item:Q3508528"
From MaRDI portal
The following pages link to Regulating Data Exchange in Service Oriented Applications (Q3508528):
Displayed 6 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- Typing access control and secure information flow in sessions (Q462485) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Relational Analysis of Correlation (Q3522059) (← links)