Multilevel transitive and intransitive non-interference, causally (Q1680560): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2017.10.004
@@ Property / DOI: 10.1016/j.tcs.2017.10.004 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2769121349
@@ Property / OpenAlex ID: W2769121349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural non-interference in elementary and trace nets
+Normal rank
@@ Property / cites work @@
+A Causal View on Non-Interference*
@@ Property / cites work: A Causal View on Non-Interference* / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice model of secure information flow
@@ Property / cites work: A lattice model of secure information flow / rank @@
+Normal rank
@@ Property / cites work @@
+On Intransitive Non-interference in Some Models of Concurrency
+Normal rank
@@ Property / cites work @@
+Unfoldings: A partial-order approach to model checking.
+Normal rank
@@ Property / cites work @@
+A technique of state space search based on unfolding
+Normal rank
@@ Property / cites work @@
+Canonical prefixes of Petri net unfoldings
@@ Property / cites work: Canonical prefixes of Petri net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371024
@@ Property / cites work: Q4371024 / rank @@
+Normal rank
@@ Property / cites work @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets
+Normal rank
@@ Property / cites work @@
+Deciding Selective Declassification of Petri Nets
@@ Property / cites work: Deciding Selective Declassification of Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems
+Normal rank
@@ Property / cites work @@
+Discretionary Information Flow Control for Interaction-Oriented Specifications
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2017.10.004
@@ Property / DOI: 10.1016/J.TCS.2017.10.004 / rank @@
+Normal rank