Reasoning about Security in Mobile Ambients.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

Browse the full CONCUR paper archive.