A causal view on non-interference
From MaRDI portal
Publication:2803575
Recommendations
Cited in
(10)- Interleaving vs True Concurrency: Some Instructive Security Examples
- Lectures on Concurrency and Petri Nets
- `Non-interference' implies equality
- Multilevel transitive and intransitive non-interference, causally
- Non-interference assessment in colored net systems via integer linear programming
- Characterising spectra of equivalences for event structures, logically
- Applications and Theory of Petri Nets 2004
- Non-interference notions based on reveals and excludes relations for Petri nets
- Non-interference by unfolding
- On the Hsiao definition of non-causality
This page was built for publication: A causal view on non-interference
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2803575)