Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-012-0145-z
@@ Property / DOI: 10.1007/s10626-012-0145-z / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C65
@@ Property / Mathematics Subject Classification ID: 93C65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A30
@@ Property / Mathematics Subject Classification ID: 93A30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B18
@@ Property / Mathematics Subject Classification ID: 90B18 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6217458
@@ Property / zbMATH DE Number: 6217458 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+language-based opacity
@@ Property / zbMATH Keywords: language-based opacity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+initial-state opacity
@@ Property / zbMATH Keywords: initial-state opacity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+current-state opacity
@@ Property / zbMATH Keywords: current-state opacity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+initial-and-final-state opacity
@@ Property / zbMATH Keywords: initial-and-final-state opacity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coordinated architecture
@@ Property / zbMATH Keywords: coordinated architecture / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / 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.1007/s10626-012-0145-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2037457229
@@ Property / OpenAlex ID: W2037457229 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10626-012-0145-Z
@@ Property / DOI: 10.1007/S10626-012-0145-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:373013