Automatic verification of temporal-epistemic properties of cryptographic protocols (Q5188176): Difference between revisions

@@ Property / describes a project that uses @@
+VerICS
@@ Property / describes a project that uses: VerICS / 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 @@
+MCMAS
@@ Property / describes a project that uses: MCMAS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+The NRL Protocol Analyzer: An Overview
@@ Property / cites work: The NRL Protocol Analyzer: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.19.463-487
+Normal rank
@@ Property / OpenAlex ID @@
+W2081927093
@@ Property / OpenAlex ID: W2081927093 / rank @@
+Normal rank