Information flow security in boundary ambients (Q2482455): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2007.12.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2030876862
@@ Property / OpenAlex ID: W2030876862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230922
@@ Property / cites work: Q4230922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417947
@@ Property / cites work: Q4417947 / rank @@
+Normal rank
@@ Property / cites work @@
+Security boundaries in mobile ambients
@@ Property / cites work: Security boundaries in mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843917
@@ Property / cites work: Q2843917 / rank @@
+Normal rank
@@ Property / cites work @@
+Nesting analysis of mobile ambients
@@ Property / cites work: Nesting analysis of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Secure safe ambients
@@ Property / cites work: Secure safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural typing for safe ambients
@@ Property / cites work: Behavioural typing for safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714432
@@ Property / cites work: Q5714432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536435
@@ Property / cites work: Q4536435 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of Boxed Ambients
@@ Property / cites work: An overview of Boxed Ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766538
@@ Property / cites work: Q2766538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766539
@@ Property / cites work: Q2766539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778710
@@ Property / cites work: Q4778710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of mobile ambients
@@ Property / cites work: Equational properties of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+On abstract interpretation of mobile ambients
@@ Property / cites work: On abstract interpretation of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation of mobile ambients.
@@ Property / cites work: Abstract interpretation of mobile ambients. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738360
@@ Property / cites work: Q4738360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763677
@@ Property / cites work: Q2763677 / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank