On compositional reasoning about anonymity and privacy in epistemic logic (Q504214): Difference between revisions

@@ Property / cites work @@
+Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
+Normal rank
@@ Property / cites work @@
+Q4813520
@@ Property / cites work: Q4813520 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge, probability, and adversaries
@@ Property / cites work: Knowledge, probability, and adversaries / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem-proving anonymity of infinite-state systems
+Normal rank
@@ Property / cites work @@
+A practical secret voting scheme for large scale elections
+Normal rank
@@ Property / cites work @@
+Q4451078
@@ Property / cites work: Q4451078 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic anonymity via coalgebraic simulations
+Normal rank
@@ Property / cites work @@
+Role Interchange for Anonymity and Privacy of Voting
+Normal rank
@@ Property / cites work @@
+CSP and anonymity
@@ Property / cites work: CSP and anonymity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813519
@@ Property / cites work: Q4813519 / rank @@
+Normal rank
@@ Property / cites work @@
+k-ANONYMITY: A MODEL FOR PROTECTING PRIVACY
@@ Property / cites work: k-ANONYMITY: A MODEL FOR PROTECTING PRIVACY / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493895
@@ Property / cites work: Q4493895 / rank @@
+Normal rank
@@ Property / cites work @@
+On compositional reasoning about anonymity and privacy in epistemic logic
+Normal rank