Discretionary Information Flow Control for Interaction-Oriented Specifications

DOI10.1007/978-3-319-23165-5_20zbMath1321.68349OpenAlexW2293875919WikidataQ56493323 ScholiaQ56493323MaRDI QIDQ2945719

Flemming Nielson, Hanne Riis Nielson, Alberto Lluch Lafuente

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://orbit.dtu.dk/en/publications/5fa21f34-5eeb-407d-9dd7-80a523ff91cf

zbMATH Keywords

parallel computinghigh-performance computingchoreographiescommunication protocolsservice-oriented computinginformation flow controldiscretionary access controlinteraction-oriented computing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Certifying choreography compilation ⋮ Multilevel transitive and intransitive non-interference, causally ⋮ A formal theory of choreographic programming ⋮ A core model for choreographic programming ⋮ Unnamed Item

Uses Software

• MapReduce

Cites Work

• Unnamed Item
• Typing access control and secure information flow in sessions
• Combining behavioural types with security analysis
• Normal forms for algebras of connections.
• Tracing where and who provenance in linked data: a calculus
• An algebraic presentation of term graphs, via gs-monoidal categories
• On Global Types and Multi-Party Session
• Deadlock-freedom-by-design
• Types for Role-Based Access Control of Dynamic Web Data
• Multiparty asynchronous session types
• Secure Information Flow as a Safety Property
• Procedural Choreographic Programming
• Graph rewriting for the π-calculus
• Resolving Non-determinism in Choreographies

This page was built for publication: Discretionary Information Flow Control for Interaction-Oriented Specifications