An abstract interpretation framework for analysing Mobile Ambients

DOI10.1007/3-540-47764-0_23MaRDI QIDQ4778709zbMATH OpenFDO

Authors Francesca Levi, Sergio Maffeis

Publication date 19 November 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2126/21260395

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• On abstract interpretation of mobile ambients
• Abstract interpretation-based static analysis of Mobile Ambients
• A Kleene analysis of mobile ambients
• Abstract interpretation of mobile ambients
• Shape analysis for mobile ambients

Cited in

(13)

• Abstract interpretation of mobile ambients.
• Abstract interpretation of mobile systems
• Behavioural typing for safe ambients
• On abstract interpretation of mobile ambients
• A typed encoding of boxed into safe ambients
• Types for the ambient calculus
• Deriving Structural Labelled Transitions for Mobile Ambients
• Abstract interpretation of mobile ambients
• scientific article; zbMATH DE number 2087554 (Why is no real title available?)
• Abstract interpretation-based static analysis of Mobile Ambients
• Lazy mobile intruders
• Programming Languages and Systems
• A framework for security analysis of mobile wireless networks

This page was built for publication: An abstract interpretation framework for analysing Mobile Ambients

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