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

Pierre Konopacki; Marc Frappier; Régine Laleau

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

Pierre Konopacki ¹ Marc Frappier ² Régine Laleau ¹

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

2 GRIL - Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]

Département d'informatique [Sherbrooke]

Abstract : no abstract

Document type :

Journal articles

Domain :

Computer Science [cs]

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01224641
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:25 PM
Last modification on : Thursday, January 11, 2018 - 6:19:29 AM

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

Identifiers

Collections

Citation

Export

Metrics

65

Contact

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

Identifiers

Collections

Citation

Export

Share

Metrics

65

Contact