Timed non-interference under partial observability and bounded memory

DOI10.1007/978-3-031-42626-1_8MaRDI QIDQ6536433

Could not fetch data.

Publication date: 3 May 2024

zbMATH Keywords

timed automatapartial observabilitynon-interference

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computer security (68M25)

Cites Work

• A theory of timed automata
• Non-Interference Control Synthesis for Security Timed Automata
• Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
• Control and synthesis of non-interferent timed systems
• Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language
• Decidability of the initial-state opacity of real-time automata
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Timed non-interference under partial observability and bounded memory

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