Pages that link to "Item:Q2945719"
From MaRDI portal
The following pages link to Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719):
Displaying 8 items.
- A secrecy-preserving language for distributed and object-oriented systems (Q1648643) (← links)
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
- (Q5129942) (← links)
- Information Flow Control-by-Construction for an Object-Oriented Language (Q6111610) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)