A Design by Contract Approach to Verify Access Control Policies - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

A Design by Contract Approach to Verify Access Control Policies

Hakim Belhaouari
CV
Pierre Konopacki
  • Fonction : Auteur
  • PersonId : 767863
  • IdRef : 167325507
Laboratoire d'Algorithmique Complexité et Logique
Régine Laleau
Laboratoire d'Algorithmique Complexité et Logique
Marc Frappier
  • Fonction : Auteur
Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]

Résumé

no abstract

Domaines

Informatique [cs]

Régine Laleau  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01224630

Soumis le : mercredi 4 novembre 2015-22:50:17

Dernière modification le : vendredi 24 mars 2023-14:53:01

Fichier non déposé

Dates et versions

hal-01224630 , version 1 (04-11-2015)

Identifiants

  • HAL Id : hal-01224630 , version 1

Citer

Hakim Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier. A Design by Contract Approach to Verify Access Control Policies. International Conference on Engineering of Complex Computer Systems (ICECCS), 2012, Unknown, Unknown Region. pp.263-272. ⟨hal-01224630⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC
43 Consultations
0 Téléchargements

Partager

More