Information based reasoning about security protocols (Q2841219): Difference between revisions

@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q4934730
@@ Property / cites work: Q4934730 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418589
@@ Property / cites work: Q4418589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934628
@@ Property / cites work: Q4934628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723425
@@ Property / cites work: Q2723425 / 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 @@
+View-based explicit knowledge
@@ Property / cites work: View-based explicit knowledge / rank @@
+Normal rank