Abstract interpretation of mobile ambients

DOI10.1007/3-540-48294-6_9MaRDI QIDQ4494378zbMATH OpenFDO

Authors René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson

Publication date 10 August 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48294-6_9

zbMATH Keywords

\(\pi\)-calculusambient calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On abstract interpretation of mobile ambients
• Abstract interpretation of mobile ambients.
• scientific article; zbMATH DE number 1832231
• scientific article; zbMATH DE number 1231618
• A fully abstract model for mobile ambients
• On the expressiveness of pure mobile ambients
• Abstract interpretation of mobile systems
• scientific article; zbMATH DE number 2086520
• scientific article; zbMATH DE number 1629945
• Mobile ambients

Cited in

(28)

• Flow-sensitive type systems and the ambient calculus
• Abstract interpretation of mobile ambients.
• Mobile ambients
• Validating firewalls using flow logics
• When ambients cannot be opened
• Abstract interpretation of mobile systems
• Static analysis for the \(\pi\)-calculus with applications to security
• Security boundaries in mobile ambients
• Nesting analysis of mobile ambients
• On abstract interpretation of mobile ambients
• A typed encoding of boxed into safe ambients
• Types for the ambient calculus
• Occurrence counting analysis for the pi-calculus
• scientific article; zbMATH DE number 1617321 (Why is no real title available?)
• scientific article; zbMATH DE number 1629945 (Why is no real title available?)
• Shape analysis for mobile ambients
• Cryptographic analysis in cubic time
• A type inference algorithm for secure ambients
• A fully abstract model for mobile ambients
• Behavioral theory for mobile ambients
• Deriving Structural Labelled Transitions for Mobile Ambients
• scientific article; zbMATH DE number 1953024 (Why is no real title available?)
• scientific article; zbMATH DE number 2087554 (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?)
• Shape analysis for mobile ambients
• Hybrid logical analyses of the ambient calculus
• Abstract interpretation based verification of temporal properties for BioAmbients

This page was built for publication: Abstract interpretation of mobile ambients

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