Validating Firewalls in Mobile Ambients.

Flemming Nielson, Hanne Riis Nielson, Ren Rydhof Hansen, Jacob Grydholt Jensen

Browse the full CONCUR paper archive.