Evaluation of anonymity and confidentiality protocols using theorem proving (Q5962971): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-015-0232-5
@@ Property / DOI: 10.1007/s10703-015-0232-5 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ETPS
@@ Property / describes a project that uses: ETPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / 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/s10703-015-0232-5
+Normal rank
@@ Property / OpenAlex ID @@
+W840673086
@@ Property / OpenAlex ID: W840673086 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to mathematical logic and type theory: To truth through proof.
+Normal rank
@@ Property / cites work @@
+Anonymity Protocols as Noisy Channels
@@ Property / cites work: Anonymity Protocols as Noisy Channels / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023085
@@ Property / cites work: Q4023085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813520
@@ Property / cites work: Q4813520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4118034
@@ Property / cites work: Q4118034 / 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 @@
+Q3618853
@@ Property / cites work: Q3618853 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Formalization of the Lebesgue Integration Theory in HOL
+Normal rank
@@ Property / cites work @@
+Formalization of Entropy Measures in HOL
@@ Property / cites work: Formalization of Entropy Measures in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687569
@@ Property / cites work: Q5687569 / 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 / DOI @@
+.1007/S10703-015-0232-5
@@ Property / DOI: 10.1007/S10703-015-0232-5 / rank @@
+Normal rank