Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914): Difference between revisions

@@ Property / describes a project that uses @@
+ProVerif
@@ Property / describes a project that uses: ProVerif / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cryptyc
@@ Property / describes a project that uses: Cryptyc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+F*
@@ Property / describes a project that uses: F* / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AVISPA
@@ Property / describes a project that uses: AVISPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CASPA_
@@ Property / describes a project that uses: CASPA_ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OFMC
@@ Property / describes a project that uses: OFMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TAMARIN
@@ Property / describes a project that uses: TAMARIN / 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.jlamp.2015.06.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1157586374
@@ Property / OpenAlex ID: W1157586374 / rank @@
+Normal rank