Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols (Q2841265): Difference between revisions

@@ Property / cites work @@
+Reasoning about cryptographic protocols in the spi calculus
+Normal rank
@@ Property / cites work @@
+Q4230922
@@ Property / cites work: Q4230922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779098
@@ Property / cites work: Q4779098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700824
@@ Property / cites work: Q3700824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4330563
@@ Property / cites work: Q4330563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499293
@@ Property / cites work: Q4499293 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493894
@@ Property / cites work: Q4493894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4295369
@@ Property / cites work: Q4295369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709234
@@ Property / cites work: Q2709234 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for normed pushdown processes
+Normal rank
@@ Property / cites work @@
+Decidability of DPDA equivalence
@@ Property / cites work: Decidability of DPDA equivalence / rank @@
+Normal rank