Fine-grained and coarse-grained reactive noninterference

DOI10.1007/978-3-319-05119-2_10MaRDI QIDQ2830033zbMATH OpenOpenAlexFDO

Authors Pejman Attar, Ilaria Castellani

Publication date 9 November 2016

Published in Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00915241/file/tgc13.pdf

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Typing noninterference for reactive programs
• scientific article; zbMATH DE number 1754606
• Decidability and proof systems for language-based noninterference relations
• Noninterference for concurrent programs and thread systems
• Proving concurrent noninterference

Cited in

(3)

• A semantic theory of the Internet of Things
• Branching bisimulation semantics enables noninterference analysis of reversible systems
• Typing noninterference for reactive programs

Describes a project that uses

Uses Software

• SugarCubes
• Esterel

This page was built for publication: Fine-grained and coarse-grained reactive noninterference

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