29/11/2001: Gérard Boudol (INRIA Sophia-Antipolis)
Typage de la noninterférence.

Je vais présenter un système de type pour la "noninterférence" dans les programmes séquentiels et parallèles.
Le thème est ici "typage et sécurité", où sécurité veut dire: "pas de fuite d'informations secrètes".