Automatic verification of cryptographic protocols with SETHEO (Q5234693): Difference between revisions

@@ Property / describes a project that uses @@
+ILF-SETHEO
@@ Property / describes a project that uses: ILF-SETHEO / 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 @@
+E-SETHEO
@@ Property / describes a project that uses: E-SETHEO / 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/3-540-63104-6_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1505493017
@@ Property / OpenAlex ID: W1505493017 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for a logic of authentication (extended abstract)
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled integration of the cut rule into connection tableau calculi
+Normal rank
@@ Property / cites work @@
+SETHEO: A high-performance theorem prover
@@ Property / cites work: SETHEO: A high-performance theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264737
@@ Property / cites work: Q4264737 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4341785
@@ Property / cites work: Q4341785 / rank @@
+Normal rank
@@ Property / cites work @@
+ILF-SETHEO
@@ Property / cites work: ILF-SETHEO / rank @@
+Normal rank