Pages that link to "Item:Q462485"
From MaRDI portal
The following pages link to Typing access control and secure information flow in sessions (Q462485):
Displaying 8 items.
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Global types with internal delegation (Q2286741) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719) (← links)
- Information flow safety in multiparty sessions (Q2971077) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
- Relating Process Languages for Security and Communication Correctness (Extended Abstract) (Q5881535) (← links)
