BANANA: a tool for boundary ambients nesting analysis

Authors:
Chiara Braghin;Agostino Cortesi;Stefano Filippone;Riccardo Focardi;Flaminia L. Luccio;Carla Piazza
Affiliations:
Dipartimento di Informatica, Università Ca' Foscari di Venezia;Dipartimento di Informatica, Università Ca' Foscari di Venezia;Dipartimento di Informatica, Università Ca' Foscari di Venezia;Dipartimento di Informatica, Università Ca' Foscari di Venezia;Dipartimento di Scienze Matematiche, Università di Trieste;Dipartimento di Informatica, Università Ca' Foscari di Venezia
Venue:
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Year:
2003

Controlling interference in ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mobile ambients

Theoretical Computer Science
Boundary Inference for Enforcing Security Policies in Mobile Ambients

TCS '02 Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Networking and Mobile Computing
Control flow analysis of mobile ambients with security boundaries

FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V

Hi-index	0.00