Validating Firewalls in Mobile Ambients

Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen. Validating Firewalls in Mobile Ambients. In Jos C. M. Baeten, Sjouke Mauw, editors, CONCUR 99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings. Volume 1664 of Lecture Notes in Computer Science, pages 463-477, Springer, 1999. [doi]

Authors

Flemming Nielson

This author has not been identified. Look up 'Flemming Nielson' in Google

Hanne Riis Nielson

This author has not been identified. Look up 'Hanne Riis Nielson' in Google

René Rydhof Hansen

This author has not been identified. Look up 'René Rydhof Hansen' in Google

Jacob Grydholt Jensen

This author has not been identified. Look up 'Jacob Grydholt Jensen' in Google