Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979): Difference between revisions

@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778815
@@ Property / cites work: Q2778815 / rank @@
+Normal rank
@@ Property / cites work @@
+Genericity and the \(\pi\)-calculus
@@ Property / cites work: Genericity and the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A logical analysis of aliasing in imperative higher-order functions
+Normal rank
@@ Property / cites work @@
+Safe manual memory management in Cyclone
@@ Property / cites work: Safe manual memory management in Cyclone / rank @@
+Normal rank
@@ Property / cites work @@
+Stack inspection
@@ Property / cites work: Stack inspection / rank @@
+Normal rank
@@ Property / cites work @@
+Certification of programs for secure information flow
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790662
@@ Property / cites work: Q4790662 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / 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 @@
+From process logic to program logic
@@ Property / cites work: From process logic to program logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518881
@@ Property / cites work: Q4518881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268454
@@ Property / cites work: Q4268454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490761
@@ Property / cites work: Q4490761 / rank @@
+Normal rank
@@ Property / cites work @@
+Game-theoretic analysis of call-by-value computation
+Normal rank
@@ Property / cites work @@
+A uniform type structure for secure information flow
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual equivalence for higher-order \(\pi\)-calculus revisited
+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 @@
+Q2763691
@@ Property / cites work: Q2763691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348472
@@ Property / cites work: Q4348472 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
+Normal rank
@@ Property / cites work @@
+Strong normalisation in the \(\pi\)-calculus
@@ Property / cites work: Strong normalisation in the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270081
@@ Property / cites work: Q4270081 / rank @@
+Normal rank
@@ Property / cites work @@
+Assigning types to processes
@@ Property / cites work: Assigning types to processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738241
@@ Property / cites work: Q4738241 / rank @@
+Normal rank