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

@@ Property / author @@
+Catherine A. Meadows
@@ Property / author: Catherine A. Meadows / rank @@
+Normal rank
@@ 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