Non-Interference Control Synthesis for Security Timed Automata

DOI10.1016/j.entcs.2005.05.046zbMath1277.68184OpenAlexW2097042421WikidataQ115044301 ScholiaQ115044301MaRDI QIDQ2864391

Guillaume Gardey, Olivier H. Roux, John Mullins

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2005.05.046

zbMATH Keywords

verificationcontrol synthesistimed automatadecidabilitynon-interference

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Timed hyperproperties ⋮ Parametric Timed Model Checking for Guaranteeing Timed Opacity ⋮ Synthesis of Non-Interferent Timed Systems

Cites Work

• On observability of discrete-event systems
• A theory of timed automata
• Characteristic Formulae for Timed Automata
• From timed automata to logic — and back
• On the synthesis of discrete controllers for timed systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Non-Interference Control Synthesis for Security Timed Automata