Reasoning about Security in Mobile Ambients - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa. Reasoning about Security in Mobile Ambients. In Kim Guldstrand Larsen, Mogens Nielsen, editors, CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Volume 2154 of Lecture Notes in Computer Science, pages 102-120, Springer, 2001. [doi]

This author has not been identified. Look up 'Michele Bugliesi' in GoogleThis author has not been identified. Look up 'Giuseppe Castagna' in GoogleThis author has not been identified. Look up 'Silvia Crafa' in Google

runs on WebDSL