Abstract interpretation-based static analysis of Mobile Ambients

DOI10.1007/3-540-47764-0_24MaRDI QIDQ4778710zbMATH OpenFDO

Authors Jerome Feret

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/21260412

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• On abstract interpretation of mobile ambients
• An abstract interpretation framework for analysing Mobile Ambients
• Abstract interpretation of mobile ambients
• Confidentiality analysis of mobile systems
• Abstract interpretation of mobile ambients.

Cited in

(18)

• Abstract interpretation of mobile ambients.
• When ambients cannot be opened
• Abstract interpretation of mobile systems
• Behavioural typing for safe ambients
• On abstract interpretation of mobile ambients
• Quantitative static analysis of communication protocols using abstract Markov chains
• A static analysis for brane calculi providing global occurrence counting information
• Information flow security in boundary ambients
• A typed encoding of boxed into safe ambients
• Types for the ambient calculus
• Confidentiality analysis of mobile systems
• A semiring-based quantitative analysis of mobile systems
• scientific article; zbMATH DE number 2087554 (Why is no real title available?)
• An abstract interpretation framework for analysing Mobile Ambients
• Approximating probabilistic behaviors of biological systems using abstract interpretation
• A Global Occurrence Counting Analysis for Brane Calculi
• Foundations of Security Analysis and Design II
• Abstract interpretation based verification of temporal properties for BioAmbients

This page was built for publication: Abstract interpretation-based static analysis of Mobile Ambients

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