A Design by Contract Approach to Verify Access Control Policies

Abstract : no abstract
Type de document :
Communication dans un congrès
Isabelle Perseil and Karin Breitman and Marc Pouzet. International Conference on Engineering of Complex Computer Systems (ICECCS), 2012, Unknown, Unknown Region. IEEE Computer Society, pp.263-272, 2012
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01224630
Contributeur : Régine Laleau <>
Soumis le : mercredi 4 novembre 2015 - 22:50:17
Dernière modification le : vendredi 21 septembre 2018 - 10:48:02

Identifiants

  • HAL Id : hal-01224630, version 1

Collections

Citation

Hakim Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier. A Design by Contract Approach to Verify Access Control Policies. Isabelle Perseil and Karin Breitman and Marc Pouzet. International Conference on Engineering of Complex Computer Systems (ICECCS), 2012, Unknown, Unknown Region. IEEE Computer Society, pp.263-272, 2012. 〈hal-01224630〉

Partager

Métriques

Consultations de la notice

48