Skip to content
LACL Logo
  • Présentation
  • Équipes
    • Logique, calcul et programmation
    • Spécification et vérification de systèmes
  • Masters
  • Membres
  • Publications
  • Postes 2025
  • Séminaire
  • Contact
    • Comment venir ?
  • Connexion
  • English
LACL Logo
  • Présentation
  • Équipes
    • Logique, calcul et programmation
    • Spécification et vérification de systèmes
  • Masters
  • Membres
  • Publications
  • Postes 2025
  • Séminaire
  • Contact
    • Comment venir ?
  • Connexion
  • English

Un processus formel d’intégration de politiques de contrôle d’accès dans les systèmes d’information

12 décembre 2011

Jérémy Milhau (LACL) soutenance de thèse

Pour avoir plus d’information, allez sur http://www.jeremilhau.fr/phd/

Navigation de l’article

Un nouvel algorithme pour calculer et borner la mesure stationnaire d’une chaine de Markov et son application en verification
Sous-treillis d’associaèdres et permutoèdres

Actualités
  • 2 postes de MCF à pourvoir au LACL
    16/01/2025

Prochains séminaires
  • Reasoning about Quality in Hyperproperties (Joint work with B. Monmege and S. Graepler)
    23 juin 2025
    Jean-Marc Talbot
  • TBA
    22 septembre 2025
    Carola Doerr
  • Representations
    29 septembre 2025
    Paul Brunet
© 2025 LACL