Discretionary Information Flow Control for Interaction-Oriented Specifications

DOI10.1007/978-3-319-23165-5_20MaRDI QIDQ2945719zbMATH OpenOpenAlexWikidataFDO

Authors Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson

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

choreographiescommunication protocolsdiscretionary access controlhigh-performance computinginformation flow controlinteraction-oriented computingparallel computingservice-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)

Recommendations

• Information Flow Control-by-Construction for an Object-Oriented Language
• Flexible dynamic information flow control in the presence of exceptions
• Information flow in interactive systems
• Information flow control for integrity based on a type system

Cites work

• An algebraic presentation of term graphs, via gs-monoidal categories
• Combining behavioural types with security analysis
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• Graph rewriting for the π-calculus
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• Multiparty asynchronous session types
• Normal forms for algebras of connections.
• On global types and multi-party sessions
• Procedural Choreographic Programming
• Resolving non-determinism in choreographies
• Secure Information Flow as a Safety Property
• Tracing where and who provenance in linked data: a calculus
• Types for role-based access control of dynamic web data
• Typing access control and secure information flow in sessions

Cited in

(9)

• A secrecy-preserving language for distributed and object-oriented systems
• Multilevel transitive and intransitive non-interference, causally
• A core model for choreographic programming
• Certifying choreography compilation
• Hoare logic for disjunctive information flow
• On resolving non-determinism in choreographies
• Information Flow Control-by-Construction for an Object-Oriented Language
• A formal theory of choreographic programming
• Keep me out of the loop: a more flexible choreographic projection

Describes a project that uses

Uses Software

• MapReduce

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945719)