A typed encoding of boxed into safe ambients

DOI10.1007/S00236-005-0002-8MaRDI QIDQ2491209zbMATH OpenOpenAlexFDO

Authors Francesca Levi

Publication date 26 May 2006

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-005-0002-8

zbMATH Keywords

mandatory access control

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Theory of programming languages (68N15)

Recommendations

• Formalizing the SAFECode type system
• A type inference algorithm for secure ambients
• scientific article; zbMATH DE number 1927570
• Programming Languages and Systems
• Behavioural typing for safe ambients
• scientific article; zbMATH DE number 1693038
• Type-based confinement
• Extensible encoding of type hierarchies

Cites work

• A calculus of mobile processes. I
• A type inference algorithm for secure ambients
• An overview of boxed ambients (abstract)
• Behavioural typing for safe ambients
• Bisimulation congruences in safe ambients
• Communication and mobility control in boxed ambients
• Controlling interference in ambients
• Equational properties of mobile ambients
• scientific article; zbMATH DE number 1692941 (Why is no real title available?)
• scientific article; zbMATH DE number 1696438 (Why is no real title available?)
• scientific article; zbMATH DE number 1696439 (Why is no real title available?)
• scientific article; zbMATH DE number 1953025 (Why is no real title available?)
• scientific article; zbMATH DE number 1954374 (Why is no real title available?)
• scientific article; zbMATH DE number 1927569 (Why is no real title available?)
• scientific article; zbMATH DE number 1927570 (Why is no real title available?)
• scientific article; zbMATH DE number 1487853 (Why is no real title available?)
• scientific article; zbMATH DE number 1512630 (Why is no real title available?)
• scientific article; zbMATH DE number 1754608 (Why is no real title available?)
• scientific article; zbMATH DE number 2163047 (Why is no real title available?)
• scientific article; zbMATH DE number 2163048 (Why is no real title available?)
• scientific article; zbMATH DE number 1832231 (Why is no real title available?)
• scientific article; zbMATH DE number 1832232 (Why is no real title available?)
• scientific article; zbMATH DE number 1860626 (Why is no real title available?)
• scientific article; zbMATH DE number 1863161 (Why is no real title available?)
• scientific article; zbMATH DE number 2242580 (Why is no real title available?)
• Mathematical Foundations of Computer Science 2004
• Mobile ambients
• On abstract interpretation of mobile ambients
• On the expressiveness of pure mobile ambients
• Orderly communication in the ambient calculus.
• Programming Languages and Systems
• Secure safe ambients
• Shape analysis for mobile ambients
• The -calculus: A theory of mobile processes
• Types for the ambient calculus
• Typing evolving ambients
• Validating firewalls using flow logics
• What is a ``good encoding of guarded choice?

Cited in

(5)

• Towards a unified approach to encodability and separation results for process calculi
• On the relative expressive power of calculi for mobility
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• Programming Languages and Systems
• A taxonomy of process calculi for distribution and mobility

This page was built for publication: A typed encoding of boxed into safe ambients

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2491209)