We introduce an abstract interpretation framework
for Mobile Ambients, based on a new fixed-point semantics.
Then, we derive within this setting two analyses computing a safe approximation of
a property about the run-time topological structure
of processes which is relevant to security.