Verification of cryptographic protocols: tagging enforces termination (Q1770413): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2004.10.018
@@ Property / DOI: 10.1016/j.tcs.2004.10.018 / rank @@
-Normal rank
@@ Property / cites work @@
+Analyzing security protocols with secrecy types and logic programs
+Normal rank
@@ Property / cites work @@
+Q4484507
@@ Property / cites work: Q4484507 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411970
@@ Property / cites work: Q4411970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484506
@@ Property / cites work: Q4484506 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer security -- ESORICS 2000. 6th European symposium on research in computer security, Toulouse, France, October 4--6, 2000. Proceedings
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754128
@@ Property / cites work: Q2754128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535056
@@ Property / cites work: Q4535056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447230
@@ Property / cites work: Q4447230 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411969
@@ Property / cites work: Q4411969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418589
@@ Property / cites work: Q4418589 / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Q2763677
@@ Property / cites work: Q2763677 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4263167
@@ Property / cites work: Q4263167 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2004.10.018
@@ Property / DOI: 10.1016/J.TCS.2004.10.018 / rank @@
+Normal rank