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 / Mathematics Subject Classification ID @@
+P25
@@ Property / Mathematics Subject Classification ID: 68P25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 94A60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+2184041
@@ Property / zbMATH DE Number: 2184041 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Verification
@@ Property / zbMATH Keywords: Verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Security
@@ Property / zbMATH Keywords: Security / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+XOR
@@ Property / zbMATH Keywords: XOR / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Protocols
@@ Property / zbMATH Keywords: Protocols / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Complexity
@@ Property / zbMATH Keywords: Complexity / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:557799