Synthesis of Non-Interferent Timed Systems
From MaRDI portal
Recommendations
- Control and synthesis of non-interferent timed systems
- scientific article; zbMATH DE number 1799514
- Non-interference control synthesis for security timed automata
- Synthesizing synchronous systems by static scheduling in space-time
- A new approach to synthesis problems in timed discrete-event systems
- On the synthesis of discrete controllers for timed systems
- On the determinization of timed systems
- scientific article; zbMATH DE number 2064461
- scientific article; zbMATH DE number 2086417
Cites work
- A theory of timed automata
- An automata based approach for verifying information flow properties
- Discrete-time control for rectangular hybrid automata
- scientific article; zbMATH DE number 5605076 (Why is no real title available?)
- scientific article; zbMATH DE number 3560737 (Why is no real title available?)
- scientific article; zbMATH DE number 2086417 (Why is no real title available?)
- scientific article; zbMATH DE number 1884409 (Why is no real title available?)
- Non-interference control synthesis for security timed automata
- On the synthesis of discrete controllers for timed systems
Cited in
(9)- Synthesizing synchronous systems by static scheduling in space-time
- Checking noninterference in timed CSP
- The complexity of synchronous notions of information flow security
- Non-interference control synthesis for security timed automata
- scientific article; zbMATH DE number 1799514 (Why is no real title available?)
- Timing-Sensitive Noninterference through Composition
- scientific article; zbMATH DE number 2064461 (Why is no real title available?)
- Control and synthesis of non-interferent timed systems
- Timed non-interference under partial observability and bounded memory
This page was built for publication: Synthesis of Non-Interferent Timed Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3648818)
