Pattern-matching spi-calculus (Q2500522): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2006.04.004
@@ Property / DOI: 10.1016/j.ic.2006.04.004 / rank @@
-Normal rank
@@ Property / cites work @@
+Secrecy by typing in security protocols
@@ Property / cites work: Secrecy by typing in security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752046
@@ Property / cites work: Q2752046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769422
@@ Property / cites work: Q2769422 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing security protocols with secrecy types and logic programs
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q4484507
@@ Property / cites work: Q4484507 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530846
@@ Property / cites work: Q4530846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418589
@@ Property / cites work: Q4418589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754128
@@ Property / cites work: Q2754128 / 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 @@
+Q3427354
@@ Property / cites work: Q3427354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418581
@@ Property / cites work: Q4418581 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of security protocols as open systems
@@ Property / cites work: Analysis of security protocols as open systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2006.04.004
@@ Property / DOI: 10.1016/J.IC.2006.04.004 / rank @@
+Normal rank