Algebra for Quantitative Information Flow (Q5283199): Difference between revisions

@@ Property / author @@
-Annabelle McIver
@@ Property / author: Annabelle McIver / rank @@
-Normal rank
@@ Property / author @@
-Carroll Morgan
@@ Property / author: Carroll Morgan / rank @@
-Normal rank
@@ Property / author @@
+Annabelle McIver
@@ Property / author: Annabelle McIver / rank @@
+Normal rank
@@ Property / author @@
+Carroll Morgan
@@ Property / author: Carroll Morgan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PrivateLR
@@ Property / describes a project that uses: PrivateLR / 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/978-3-319-57418-9_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2607923323
@@ Property / OpenAlex ID: W2607923323 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Privacy
@@ Property / cites work: Differential Privacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Compositional Closure for Bayes Risk in Probabilistic Noninterference
+Normal rank
@@ Property / cites work @@
+A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism
+Normal rank
@@ Property / cites work @@
+Hidden-Markov program algebra with iteration
@@ Property / cites work: Hidden-Markov program algebra with iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow
+Normal rank
@@ Property / cites work @@
+Abstract Channels and Their Robust Information-Leakage Ordering
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+The Shadow Knows: Refinement of Ignorance in Sequential Programs
+Normal rank
@@ Property / cites work @@
+On the Foundations of Quantitative Information Flow
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5283199