A formal language for cryptographic protocol requirements (Q1910421): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for a logic of authentication (extended abstract)
+Normal rank
@@ Property / cites work @@
+Q4341751
@@ Property / cites work: Q4341751 / rank @@
+Normal rank
@@ Property / cites work @@
+New directions in cryptography
@@ Property / cites work: New directions in cryptography / rank @@
+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 @@
+A public key cryptosystem and a signature scheme based on discrete logarithms
+Normal rank
@@ Property / cites work @@
+A theorem on atomicity in distributed algorithms
@@ Property / cites work: A theorem on atomicity in distributed algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A formal language for cryptographic protocol requirements
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00125075
+Normal rank
@@ Property / OpenAlex ID @@
+W2078142047
@@ Property / OpenAlex ID: W2078142047 / rank @@
+Normal rank