Information flow for timed automata

DOI10.1007/978-3-319-63121-9_1MaRDI QIDQ5217294zbMATH OpenOpenAlexWikidataFDO

Authors Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos

Publication date 24 February 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63121-9_1

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Secure information release in timed automata
• scientific article; zbMATH DE number 1799514
• Control and synthesis of non-interferent timed systems
• Non-interference control synthesis for security timed automata
• Quantifying security for timed process algebras

Cited in

(5)

• Secure information release in timed automata
• Safety versus security in the quality calculus
• Parametric Timed Model Checking for Guaranteeing Timed Opacity
• Secure guarded commands
• A hybrid, dynamic logic for hybrid-dynamic information flow

This page was built for publication: Information flow for timed automata

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