Skip to Main content Skip to Navigation
Conference papers

A Design by Contract Approach to Verify Access Control Policies

Abstract : no abstract
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01224630
Contributor : Régine Laleau Connect in order to contact the contributor
Submitted on : Wednesday, November 4, 2015 - 10:50:17 PM
Last modification on : Tuesday, October 19, 2021 - 4:07:14 PM

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. International Conference on Engineering of Complex Computer Systems (ICECCS), 2012, Unknown, Unknown Region. pp.263-272. ⟨hal-01224630⟩

Share

Metrics

Record views

29