about this paper

presentation abstract bibitem


slides paper editor link
Jérôme Feret.
Confidentiality Analysis of Mobile Systems.

In Proceedings of the 7th International Symposium on Static Analysis, SAS'00, Santa Barbara, USA, June 29 - July 1, 2000, J. Palsberg (Ed.), Lecture Notes in Computer Science 1824, pp. 135--154.
© Springer-Verlag, Berlin, Germany.

Abstract: We propose an abstract interpretation-based analysis for automatically detecting all potential interactions between the agents of a part of a mobile system, without much knowledge about the rest of it.
We restrict our study to mobile systems written in the pi-calculus, and introduce a non-standard semantics which restores the link between channels and the processes that have created them. This semantics also allows to describe the interaction between a system and an unknown context. It is, to the best of our knowledge, the first analysis for this problem. We then abstract this non-standard semantics into an approximated one so as to automatically obtain a non-uniform description of the communication topology of mobile systems which compute in hostile contexts.

author = {J{\'e}r{\^o}me Feret},
title = {Confidentiality Analysis of Mobile Systems},
booktitle = {Seventh International Static Analysis Symposium (SAS'00)},
series = {LNCS},
page = {135--154},
year = {2000},
publisher = {Springer-Verlag},
number = {1824},
note = {© Springer-Verlag}