Confidentiality Analysis of Mobile Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Confidentiality Analysis of Mobile Systems

Jérôme Feret

Résumé

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.

Domaines

Autre [cs.OH]

Dates et versions

inria-00527941 , version 1 (20-10-2010)

Identifiants

Citer

Jérôme Feret. Confidentiality Analysis of Mobile Systems. he 7th International Symposium on Static Analysis (SAS'00), J. Palsberg, Jun 2000, Santa Barbara, United States. pp.135--154, ⟨10.1007/978-3-540-45099-3_8⟩. ⟨inria-00527941⟩
43 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More