Transducer-based analysis of cryptographic protocols (Q2464141): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2007.08.003
@@ Property / DOI: 10.1016/j.ic.2007.08.003 / rank @@
-Normal rank
@@ Property / cites work @@
+XML with data values: Typechecking revisited.
@@ Property / cites work: XML with data values: Typechecking revisited. / rank @@
+Normal rank
@@ Property / cites work @@
+On the symbolic reduction of processes with cryptographic functions.
+Normal rank
@@ Property / cites work @@
+Q4234051
@@ Property / cites work: Q4234051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535055
@@ Property / cites work: Q4535055 / rank @@
+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 @@
+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 @@
+Three hierarchies of transducers
@@ Property / cites work: Three hierarchies of transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723425
@@ Property / cites work: Q2723425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484508
@@ Property / cites work: Q4484508 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Automatic Analysis of Recursive Security Protocols with XOR
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+An attack on the Needham-Schroeder public-key authentication protocol
+Normal rank
@@ Property / cites work @@
+Q4494379
@@ Property / cites work: Q4494379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779173
@@ Property / cites work: Q4779173 / 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 @@
+Haskell overloading is DEXPTIME-complete
@@ Property / cites work: Haskell overloading is DEXPTIME-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2007.08.003
@@ Property / DOI: 10.1016/J.IC.2007.08.003 / rank @@
+Normal rank