A type system for Discretionary Access Control (Q3395314): Difference between revisions

@@ Property / cites work @@
+Type-based information flow analysis for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+Confining data and processes in global computing applications
+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 @@
+Types for access control
@@ Property / cites work: Types for access control / rank @@
+Normal rank
@@ Property / cites work @@
+Secrecy and group creation
@@ Property / cites work: Secrecy and group creation / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive subtyping revealed
@@ Property / cites work: Recursive subtyping revealed / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+Normal rank
@@ Property / cites work @@
+Secure implementations of typed channel abstractions
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank