A Design by Contract Approach to Verify Access Control Policies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier. A Design by Contract Approach to Verify Access Control Policies. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 263-272, IEEE Computer Society, 2012. [doi]

This author has not been identified. Look up 'Hakim Ferrier-Belhaouari' in GoogleThis author has not been identified. Look up 'Pierre Konopacki' in GoogleThis author has not been identified. Look up 'Régine Laleau' in GoogleThis author has not been identified. Look up 'Marc Frappier' in Google

runs on WebDSL