Typing noninterference for reactive programs

DOI10.1016/J.JLAP.2007.02.009zbMATH Open1119.68056OpenAlexW1985725561MaRDI QIDQ997991FDOQ997991

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

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

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)

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• Transforming out timing leaks
• Noninterference for concurrent programs and thread systems
• A uniform type structure for secure information flow
• Title not available (Why is that?)
• Programming Languages and Systems
• Feasible reactivity for synchronous cooperative threads
• CONCUR 2004 - Concurrency Theory
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• 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)
• Title not available (Why is that?)
• 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

Uses Software

• SugarCubes
• ULM
• Esterel

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)