An NP decision procedure for protocol insecurity with XOR (Q557799): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2005.01.015
@@ Property / DOI: 10.1016/j.tcs.2005.01.015 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2013689938
@@ Property / OpenAlex ID: W2013689938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484507
@@ Property / cites work: Q4484507 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536615
@@ Property / cites work: Q4536615 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535055
@@ Property / cites work: Q4535055 / rank @@
+Normal rank
@@ Property / cites work @@
+An NP decision procedure for protocol insecurity with XOR
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q2848035
@@ Property / cites work: Q2848035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804905
@@ Property / cites work: Q4804905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535056
@@ Property / cites work: Q4535056 / 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 @@
+Q4418589
@@ Property / cites work: Q4418589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447232
@@ Property / cites work: Q4447232 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484508
@@ Property / cites work: Q4484508 / rank @@
+Normal rank
@@ Property / cites work @@
+An attack on the Needham-Schroeder public-key authentication protocol
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
+Normal rank
@@ Property / cites work @@
+An attack on a recursive authentication protocol. A cautionary tale
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2005.01.015
@@ Property / DOI: 10.1016/J.TCS.2005.01.015 / rank @@
+Normal rank