Enforcement and validation (at runtime) of various notions of opacity (Q896497): Difference between revisions

@@ Property / cites work @@
+Preserving Secrecy Under Refinement
@@ Property / cites work: Preserving Secrecy Under Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent secrets
@@ Property / cites work: Concurrent secrets / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Observers for the Synthesis of Opaque Systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control for Opacity
@@ Property / cites work: Supervisory Control for Opacity / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of initial-state opacity in security applications of discrete event systems
+Normal rank
@@ Property / cites work @@
+Enforcement and validation (at runtime) of various notions of opacity
+Normal rank
@@ Property / cites work @@
+Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
+Normal rank
@@ Property / cites work @@
+Q4472252
@@ Property / cites work: Q4472252 / rank @@
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+Enforcing Non-safety Security Policies with Program Monitors
+Normal rank
@@ Property / cites work @@
+Verification of Infinite-Step Opacity and Complexity Considerations
+Normal rank
@@ Property / cites work @@
+Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
+Normal rank