Type-based security for mobile computing integrity, secrecy and liveness
DOI10.1016/J.ENTCS.2005.12.115zbMATH Open1316.68110OpenAlexW2001237970WikidataQ115044271 ScholiaQ115044271MaRDI QIDQ5262979FDOQ5262979
Publication date: 10 July 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2005.12.115
Recommendations
- scientific article; zbMATH DE number 2043318
- Channel dependent types for higher-order mobile processes
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Non-disclosure for distributed mobile code
Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- Algebraic laws for nondeterminism and concurrency
- A framework for defining logics
- A calculus of mobile processes. II
- Contextual equivalence for higher-order \(\pi\)-calculus revisited
- Game-theoretic analysis of call-by-value computation
- From process logic to program logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A uniform type structure for secure information flow
- Genericity and the \(\pi\)-calculus
- Strong normalisation in the \(\pi\)-calculus
- Certification of programs for secure information flow
- Title not available (Why is that?)
- safeDpi: a language for controlling mobile code
- Title not available (Why is that?)
- A logical analysis of aliasing in imperative higher-order functions
- Trustworthy Global Computing
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Assigning types to processes
- Title not available (Why is that?)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
- Stack inspection
- Safe manual memory management in Cyclone
Cited In (8)
- A Modal Language for the Safety of Mobile Values
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Title not available (Why is that?)
- A confinement criterion for securely executing mobile code
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Title not available (Why is that?)
- Trust and partial typing in open systems of mobile agents
- Mobile computation with functions
Uses Software
This page was built for publication: Type-based security for mobile computing integrity, secrecy and liveness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262979)
