scientific article; zbMATH DE number 2064461
From MaRDI portal
Publication:4461952
Network protocols (68M12) Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cryptography (94A60)
Recommendations
- scientific article; zbMATH DE number 1799514
- Formal Modeling and Analysis of Timed Systems
- Checking noninterference in timed CSP
- Synthesis of Non-Interferent Timed Systems
- scientific article; zbMATH DE number 1927567
- On the determinization of timed systems
- A decidable timeout-based extension of linear temporal logic
- On the power of non-observable actions in timed automata
- An investigation of 'non-intermingling' principles in temporal logic
Cited in
(8)- Checking noninterference in timed CSP
- Non-interference control synthesis for security timed automata
- scientific article; zbMATH DE number 1799514 (Why is no real title available?)
- Synthesis of Non-Interferent Timed Systems
- Formal Modeling and Analysis of Timed Systems
- Timed non-interference under partial observability and bounded memory
- A classification of time and/or probability dependent security properties
- The bright side of timed opacity
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4461952)
