Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013): 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 @@
+Q2849576
@@ Property / cites work: Q2849576 / 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 @@
+Dynamic Observers for the Synthesis of Opaque Systems
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+Coordinated decentralized protocols for failure diagnosis of discrete event systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control for Opacity
@@ Property / cites work: Supervisory Control for Opacity / rank @@
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Opacity of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+CSP and anonymity
@@ Property / cites work: CSP and anonymity / rank @@
+Normal rank