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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115012791
@@ Property / Wikidata QID: Q115012791 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2841219