\(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781): Difference between revisions

@@ Property / DOI @@
-.1016/j.sysconle.2020.104785
@@ Property / DOI: 10.1016/j.sysconle.2020.104785 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.sysconle.2020.104785
+Normal rank
@@ Property / OpenAlex ID @@
+W3090798789
@@ Property / OpenAlex ID: W3090798789 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Trajectory detectability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Detectability in stochastic discrete event systems
+Normal rank
@@ Property / cites work @@
+Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
+Normal rank
@@ Property / cites work @@
+Verification of initial-state opacity in security applications of discrete event systems
+Normal rank
@@ Property / cites work @@
+Comparative analysis of related notions of opacity in centralized and coordinated architectures
+Normal rank
@@ Property / cites work @@
+Verification of Infinite-Step Opacity and Complexity Considerations
+Normal rank
@@ Property / cites work @@
+A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
+Normal rank
@@ Property / cites work @@
+Opacity of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Synthesis of opaque systems with static and dynamic masks
+Normal rank
@@ Property / cites work @@
+Synthesis of insertion functions for enforcement of opacity security properties
+Normal rank
@@ Property / cites work @@
+Synthesis of Optimal Insertion Functions for Opacity Enforcement
+Normal rank
@@ Property / cites work @@
+Enforcement of opacity by public and private insertion functions
+Normal rank
@@ Property / cites work @@
+Synthesis of obfuscation policies to ensure privacy and utility
+Normal rank
@@ Property / cites work @@
+Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
+Normal rank
@@ Property / cites work @@
+Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840936
@@ Property / cites work: Q4840936 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.SYSCONLE.2020.104785
@@ Property / DOI: 10.1016/J.SYSCONLE.2020.104785 / rank @@
+Normal rank