Typing noninterference for reactive programs

DOI10.1016/J.JLAP.2007.02.009MaRDI QIDQ997991zbMATH OpenOpenAlexFDO

Authors Ana Almeida Matos, Gérard Boudol, Ilaria Castellani

Publication date 10 August 2007

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2007.02.009

zbMATH Keywords

reactive programmingtype systemsbisimulationnoninterference

Mathematics Subject Classification ID

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

Recommendations

• Fine-grained and coarse-grained reactive noninterference
• scientific article; zbMATH DE number 1754606
• Noninterference for concurrent programs and thread systems
• The security pi-calculus and non-interference
• Trustworthy Global Computing

Cites work

• scientific article; zbMATH DE number 1754606 (Why is no real title available?)
• A uniform type structure for secure information flow
• CONCUR 2004 - Concurrency Theory
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Feasible reactivity for synchronous cooperative threads
• Noninterference for concurrent programs and thread systems
• Programming Languages and Systems
• The Esterel synchronous programming language: Design, semantics, implementation
• Transforming out timing leaks
• Typing noninterference for reactive programs

Cited in

(13)

• Compositional non-interference for concurrent programs via separation and framing
• Functional reactive types
• The security picalculus and non-interference (extended abstract)
• scientific article; zbMATH DE number 1754606 (Why is no real title available?)
• Typing noninterference for reactive programs
• Non-disclosure for distributed mobile code
• Typed Lambda Calculi and Applications
• Type-directed bounding of collections in reactive programs
• From control effects to typed continuation passing
• Towards SOS meta-theory for language-based security
• Noninterference for concurrent programs and thread systems
• A type language for distributed reactive components governed by communication protocols
• Fine-grained and coarse-grained reactive noninterference

Describes a project that uses

Uses Software

• Esterel
• ULM
• SugarCubes

This page was built for publication: Typing noninterference for reactive programs

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