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

@@ 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