Chiara Braghin, Agostino Cortesi, Riccardo Focardi. Control Flow Analysis of Mobile Ambients with Security Boundaries. In Bart Jacobs, Arend Rensink, editors, Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. Volume 209 of IFIP Conference Proceedings, pages 197-212, Kluwer, 2002.
@inproceedings{BraghinCF02, title = {Control Flow Analysis of Mobile Ambients with Security Boundaries}, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi}, year = {2002}, tags = {analysis, data-flow, security, data-flow analysis, mobile}, researchr = {https://researchr.org/publication/BraghinCF02}, cites = {0}, citedby = {0}, pages = {197-212}, booktitle = {Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands}, editor = {Bart Jacobs and Arend Rensink}, volume = {209}, series = {IFIP Conference Proceedings}, publisher = {Kluwer}, isbn = {0-7923-7683-8}, }