Validating Firewalls in Mobile Ambients. - Flemming Nielson; Hanne Riis Nielson; René Rydhof Hansen; Jacob Grydholt Jensen (CONCUR, 1999)

Abstract Interpretation of Mobile Ambients. - René Rydhof Hansen; Jacob Grydholt Jensen; Flemming Nielson; Hanne Riis Nielson (SAS, 1999)