Hybrid logical analyses of the ambient calculus (Q964494): Difference between revisions

@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414732
@@ Property / cites work: Q4414732 / 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 @@
+Validating firewalls using flow logics
@@ Property / cites work: Validating firewalls using flow logics / rank @@
+Normal rank
@@ Property / cites work @@
+Shape analysis for mobile ambients
@@ Property / cites work: Shape analysis for mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Logical Analyses of the Ambient Calculus
@@ Property / cites work: Hybrid Logical Analyses of the Ambient Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Security Analysis and Design II
@@ Property / cites work: Foundations of Security Analysis and Design II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494378
@@ Property / cites work: Q4494378 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673435
@@ Property / cites work: Q4673435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763674
@@ Property / cites work: Q2763674 / rank @@
+Normal rank
@@ Property / cites work @@
+Context logic and tree update
@@ Property / cites work: Context logic and tree update / rank @@
+Normal rank