Static Analysis of Distributed Systems with Mobility Specified by ...

Reference

Paolo Baldan, Andrea Corradini, and Barbara König. Static analysis of distributed systems with mobility specified by graph grammars—a case study. In H. Ehrig, B. Krämer, and A. Ertas, editors, Proc. of IDPT '02 (Sixth International Conference on Integrated Design & Process Technology). Society for Design and Process Science, 2002.

Abstract

We consider a distributed system with mobility modelled as a graph transformation system. Then we show that non-secure level processes cannot influence secure level processes, a property formalized as the absence of causal dependencies between such processes. This is done by resorting to an analysis technique for graph transformation systems, called approximated unfolding, based on the construction of an approximation of the unfolding semantics.

Suggested BibTeX entry:

@inproceedings{BCK02,
    author = {Paolo Baldan and Andrea Corradini and Barbara K{\"o}nig},
    booktitle = {Proc. of IDPT '02 (Sixth International Conference on Integrated Design \& Process Technology)},
    editor = {H. Ehrig and B. Kr{\"a}mer and A. Ertas},
    publisher = {Society for Design and Process Science},
    title = {Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars---A Case Study},
    year = {2002}
}



GZipped PostScript (87 kB)PDF (160 kB)
© University of Duisburg-Essen, Theoretical Computer Science group