Typing noninterference for reactive programs

DOI10.1016/j.jlap.2007.02.009zbMath1119.68056OpenAlexW1985725561MaRDI QIDQ997991

Ana Almeida Matos, Ilaria Castellani, Gérard Boudol

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

bisimulationnoninterferencetype systemsreactive programming

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) Logic programming (68N17) Theory of software (68N99)

Related Items

Typing noninterference for reactive programs ⋮ Non-disclosure for distributed mobile code ⋮ Towards SOS Meta-Theory for Language-Based Security

Uses Software

• SugarCubes
• ULM
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Typing noninterference for reactive programs
• The Esterel synchronous programming language: Design, semantics, implementation
• Noninterference for concurrent programs and thread systems
• Transforming out timing leaks
• A uniform type structure for secure information flow
• Programming Languages and Systems
• CONCUR 2004 - Concurrency Theory
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science