Types for Role-Based Access Control of Dynamic Web Data (Q3003511): Difference between revisions

@@ Property / cites work @@
+Communication and mobility control in boxed ambients
+Normal rank
@@ Property / cites work @@
+Types for the ambient calculus
@@ Property / cites work: Types for the ambient calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The seal calculus
@@ Property / cites work: The seal calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Role-based access control for boxed ambients
@@ Property / cites work: Role-based access control for boxed ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Types for ambient and process mobility
@@ Property / cites work: Types for ambient and process mobility / rank @@
+Normal rank
@@ Property / cites work @@
+Security types for dynamic web data
@@ Property / cites work: Security types for dynamic web data / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling dynamic web data
@@ Property / cites work: Modelling dynamic web data / rank @@
+Normal rank
@@ Property / cites work @@
+Boxed ambients with communication interfaces
@@ Property / cites work: Boxed ambients with communication interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848667
@@ Property / cites work: Q2848667 / rank @@
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+safeDpi: a language for controlling mobile code
@@ Property / cites work: safeDpi: a language for controlling mobile code / rank @@
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+Behavioural equivalences for dynamic web data
@@ Property / cites work: Behavioural equivalences for dynamic web data / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank