A Design by Contract Approach to Verify Access Control Policies
Résumé
no abstract
Communication Dans Un Congrès
Année : 2012
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
Dates et versions
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⟩
35
Consultations
0
Téléchargements