Static analysis for the \(\pi\)-calculus with applications to security (Q1854437): Difference between revisions

@@ Property / describes a project that uses @@
+KLAIM
@@ Property / describes a project that uses: KLAIM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2002622794
@@ Property / OpenAlex ID: W2002622794 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59416359
@@ Property / Wikidata QID: Q59416359 / 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 @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Types for access control
@@ Property / cites work: Types for access control / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691050
@@ Property / cites work: Q3691050 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit typing à la ML for the join-calculus
@@ Property / cites work: Implicit typing à la ML for the join-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic realisation of control flow analyses for CML
+Normal rank
@@ Property / cites work @@
+Q4494378
@@ Property / cites work: Q4494378 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763677
@@ Property / cites work: Q2763677 / rank @@
+Normal rank
@@ Property / cites work @@
+Trust in the λ-calculus
@@ Property / cites work: Trust in the λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4319801
@@ Property / cites work: Q4319801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219047
@@ Property / cites work: Q4219047 / rank @@
+Normal rank