Probabilistic and nondeterministic aspects of anonymity (Q843094): Difference between revisions

@@ Property / describes a project that uses @@
+Casper
@@ Property / describes a project that uses: Casper / 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.2009.06.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2003327353
@@ Property / OpenAlex ID: W2003327353 / rank @@
+Normal rank
@@ Property / cites work @@
+Private authentication
@@ Property / cites work: Private authentication / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q4536615
@@ Property / cites work: Q4536615 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Some congruence properties for \(\pi\)-calculus bisimilarities
+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 @@
+Q2763268
@@ Property / cites work: Q2763268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813520
@@ Property / cites work: Q4813520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370199
@@ Property / cites work: Q4370199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4434174
@@ Property / cites work: Q4434174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+A randomized encoding of the \(\pi\)-calculus with mixed choice
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus, internal mobility, and agent-passing calculi
+Normal rank
@@ Property / cites work @@
+CSP and anonymity
@@ Property / cites work: CSP and anonymity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813519
@@ Property / cites work: Q4813519 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Foundations of Quantitative Information Flow
+Normal rank
@@ Property / cites work @@
+Q4493895
@@ Property / cites work: Q4493895 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:843094