On the symbolic reduction of processes with cryptographic functions. (Q1853612): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q4501570
@@ Property / cites work: Q4501570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536407
@@ Property / cites work: Q4536407 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Techniques for Cryptographic Processes
@@ Property / cites work: Proof Techniques for Cryptographic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Regular canonical systems
@@ Property / cites work: Regular canonical systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the regular structure of prefix rewriting
@@ Property / cites work: On the regular structure of prefix rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3673105
@@ Property / cites work: Q3673105 / 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 @@
+On the security of ping-pong protocols
@@ Property / cites work: On the security of ping-pong protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418589
@@ Property / cites work: Q4418589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767013
@@ Property / cites work: Q2767013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494379
@@ Property / cites work: Q4494379 / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
+Normal rank
@@ Property / cites work @@
+Q4263167
@@ Property / cites work: Q4263167 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1853612