Confidentiality Analysis of Mobile Systems

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.
Type de document :
Communication dans un congrès
Palsberg, J. he 7th International Symposium on Static Analysis (SAS'00), Jun 2000, Santa Barbara, United States. Springer, 1824, pp.135--154, 2000, Lecture Notes in Computer Science. 〈10.1.1.28.4507〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00527941
Contributeur : Jérôme Feret <>
Soumis le : mercredi 20 octobre 2010 - 16:18:10
Dernière modification le : mardi 24 avril 2018 - 17:20:12

Identifiants

Collections

Citation

Jérôme Feret. Confidentiality Analysis of Mobile Systems. Palsberg, J. he 7th International Symposium on Static Analysis (SAS'00), Jun 2000, Santa Barbara, United States. Springer, 1824, pp.135--154, 2000, Lecture Notes in Computer Science. 〈10.1.1.28.4507〉. 〈inria-00527941〉

Partager

Métriques

Consultations de la notice

67