Pages that link to "Item:Q890614"
From MaRDI portal
The following pages link to Combining behavioural types with security analysis (Q890614):
Displaying 6 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719) (← links)
- Relating Process Languages for Security and Communication Correctness (Extended Abstract) (Q5881535) (← links)
