Information hiding in probabilistic concurrent systems (Q549174): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 94A60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5918227
@@ Property / zbMATH DE Number: 5918227 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrent systems
@@ Property / zbMATH Keywords: concurrent systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+information hiding
@@ Property / zbMATH Keywords: information hiding / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+anonymity
@@ Property / zbMATH Keywords: anonymity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+information flow
@@ Property / zbMATH Keywords: information flow / 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.tcs.2011.02.045
+Normal rank
@@ Property / OpenAlex ID @@
+W2020577539
@@ Property / OpenAlex ID: W2020577539 / rank @@
+Normal rank
@@ Property / cites work @@
+Safe Equivalences for Security Properties
@@ Property / cites work: Safe Equivalences for Security Properties / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Methods for Information-Hiding
@@ Property / cites work: Compositional Methods for Information-Hiding / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Notions of Leakage for One-try Attacks
+Normal rank
@@ Property / cites work @@
+Task-structured probabilistic I/O automata
@@ Property / cites work: Task-structured probabilistic I/O automata / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols
+Normal rank
@@ Property / cites work @@
+Bisimulation for Demonic Schedulers
@@ Property / cites work: Bisimulation for Demonic Schedulers / rank @@
+Normal rank
@@ Property / cites work @@
+Making Random Choices Invisible to the Scheduler
@@ Property / cites work: Making Random Choices Invisible to the Scheduler / rank @@
+Normal rank
@@ Property / cites work @@
+Anonymity protocols as noisy channels
@@ Property / cites work: Anonymity protocols as noisy channels / rank @@
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+Q2849851
@@ Property / cites work: Q2849851 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Information Flow, Relations and Polymorphic Types
+Normal rank
@@ Property / cites work @@
+Q2763268
@@ Property / cites work: Q2763268 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of Information Theory
@@ Property / cites work: Elements of Information Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791844
@@ Property / cites work: Q4791844 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability Results for Distributed Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
+Normal rank
@@ Property / cites work @@
+Probabilistic Anonymity Via Coalgebraic Simulations
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Assessing security threats of looping constructs
@@ Property / cites work: Assessing security threats of looping constructs / rank @@
+Normal rank
@@ Property / cites work @@
+A Formalization of Anonymity and Onion Routing
@@ Property / cites work: A Formalization of Anonymity and Onion Routing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Foundations of Quantitative Information Flow
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:549174