De l’Utilisation des Métagraphes pour la Vérification de Politiques de Sécurité - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021
Fichier non déposé

Dates et versions

hal-03243986 , version 1 (31-05-2021)

Identifiants

  • HAL Id : hal-03243986 , version 1

Citer

Loïc Miller, Pascal Merindol, Antoine Gallais, Cristel Pelsser. De l’Utilisation des Métagraphes pour la Vérification de Politiques de Sécurité. Rencontres Francophones les aspects algorithmiques des télécommunications AlgoTel’, 2021, La Rochelle, France. ⟨hal-03243986⟩
12 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More