Skip to Main content Skip to Navigation
Journal articles

Modélisation de politiques de sécurité à l'aide d'une algèbre de processus

Pierre Konopacki 1 Marc Frappier 2 Régine Laleau 1
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 GRIL - Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]
UdeS - Département d'informatique [Sherbrooke]
Abstract : no abstract
Document type :
Journal articles
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01224641
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:25 PM
Last modification on : Wednesday, February 10, 2021 - 12:30:02 PM

Identifiers

  • HAL Id : hal-01224641, version 1

Collections

CNRS | LACL | UPEC-UPEM | UPEC

Citation

Pierre Konopacki, Marc Frappier, Régine Laleau. Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2010, 15 (3). ⟨hal-01224641⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

95