J'ai participé au cours d'analyse statique par interprétation abstraite (Radhia Cousot) du
DEA Programmation de Paris 7,
Ces séance ont lieu à Chevaleret, l'horraire et la salle seront précisés utérieusement.
Quelques sites sur la mobilité :
Lectures conseillées :
- Présentations des modèles :
- Analyses de flots
-
Resource access control in systems of mobile agents, (M. Hennessy and J. Riely).
Analyse de control flow uniforme par typage pour un pi-calcul distribué.
-
Control Flow Analysis for the pi-calculus, (C. Bodei, P. Degano, F. Nielson, and H.R. Nielson).
Analyse de control flow uniforme par interpretation abstraite pour le pi-calcul.
-
Validating Firewalls in Mobile Ambients, (F. Nielson, H.R. Nielson, R.R. Hansen, and J.G. Jensen).
Analyse de control flow uniforme pour les ambients.
- Secrecy and group creation, (L. Cardelli, G. Ghelli and A. Gordon).
Système de typage pour assurer le confinement des données dans les instances récursives de processus pour le pi-calcul.
- Ambient groups and mobility types, (L. Cardelli, G. Ghelli and A. Gordon).
Système de typage pour assurer le confinement des données dans les instances récursives d'agents et d'ambients.
- Analyses de formes
- Analyses de traces