En säkerhetspolicy på flera nivåer beaktas i scenariot med mobila system, och modelleras inom "ren" Mobile Ambients kalkyl, där inga kommunikationskanaler finns och de enda möjliga åtgärderna representeras av de rörelser som utförs av mobila processer. Informationsflödets egenskap definieras i termer av möjligheten för en konfidentiell omgivning/data att förflytta sig utanför en säkerhetsgräns. I ett tidigare dokument gav vi en mycket enkel syntaktisk egenskap som är tillräcklig för att antyda frånvaron av oönskade informationsflöden. I detta dokument definieras en kontrollflödesanalys, som en förfining av Hansen-Jensen-Nielsons CFA, som gör det möjligt att fånga gränskorsningar med bättre noggrannhet.
Särskilt Braghin et al. REF-studiens "explicit" informationsflödessäkerhet i scenariot med rena mobila omgivningar genom att definiera en kontrollflödesanalys för att upptäcka säkerhetsöverträdelser som uppstår som konfidentiella uppgifter som rör sig utanför något Ö  på ett sätt som kan påverka skyddet.
Control Flow Analysis of Mobile Ambients with Security Boundaries
{'venue': 'FMOODS', 'journal': None, 'mag_field_of_study': ['Computer Science']}