A Design by Contract Approach to Verify Access Control Policies

Abstract : no abstract
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01224630
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:17 PM
Last modification on : Friday, September 21, 2018 - 10:48:02 AM

Identifiers

  • 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〉

Share

Metrics

Record views

51