Skip to Main content Skip to Navigation
Conference papers

A Design by Contract Approach to Verify Access Control Policies

Abstract : no abstract
Complete list of metadatas

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

Share

Metrics

Record views

62