Nesting analysis of mobile ambients

Authors:
Chiara Braghin;Agostino Cortesi;Riccardo Focardi;Flaminia L. Luccio;Carla Piazza
Affiliations:
Dipartimento di Informatica, Universití Ca' Foscari di Venezia, Via Torino 155, 30173, Venezia-Mestre, Italy;Dipartimento di Informatica, Universití Ca' Foscari di Venezia, Via Torino 155, 30173, Venezia-Mestre, Italy;Dipartimento di Informatica, Universití Ca' Foscari di Venezia, Via Torino 155, 30173, Venezia-Mestre, Italy;Dipartimento di Scienze Matematiche, Universití di Trieste, Italy;Dipartimento di Informatica, Universití Ca' Foscari di Venezia, Via Torino 155, 30173, Venezia-Mestre, Italy
Venue:
Computer Languages, Systems and Structures
Year:
2004

Citing 18
Cited 3

Undecidability of static analysis

ACM Letters on Programming Languages and Systems (LOPLAS)
On the complexity of flow-sensitive dataflow analyses

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling interference in ambients

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

Theoretical Computer Science
On the complexity analysis of static analyses

Journal of the ACM (JACM)
Control-Flow Analysis in Cubic Time

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Automatic Complexity Analysis

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Safe Ambients: Control Flow Analysis and Security

ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Validating Firewalls in Mobile Ambients

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
The Complexity of Model Checking Mobile Ambients

FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Abstract Interpretation of Mobile Ambients

SAS '99 Proceedings of the 6th International Symposium on Static Analysis
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
The Decidability of Model Checking Mobile Ambients

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
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
Abstract interpretation of mobile ambients

Science of Computer Programming - Special issue on static analysis (SAS'99)
BANANA: a tool for boundary ambients nesting analysis

TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Security boundaries in mobile ambients

Computer Languages, Systems and Structures

Information flow security in Boundary Ambients

Information and Computation
A monotone framework for CCS

Computer Languages, Systems and Structures
Checking Integrity via CoPS and Banana: the E-Commerce Case Study

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Seidl. The improvements are achieved by enhancing the data structure representations, and by reducing the computation to the control flow analysis constraints that are effectively necessary to get to the least solution. These theoretical results are also supported by experimental tests run on a Java-based tool that implements a suite of algorithms for nesting analysis of mobile ambients.