A Metamodel of the B Modeling of Access-Control Policies: Work in Progress - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jérémy Milhau, Marc Frappier, Régine Laleau. A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. In Joaquín García-Alfaro, Pascal Lafourcade, editors, Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers. Volume 6888 of Lecture Notes in Computer Science, pages 234-241, Springer, 2011. [doi]

This author has not been identified. Look up 'Jérémy Milhau' in GoogleThis author has not been identified. Look up 'Marc Frappier' in GoogleThis author has not been identified. Look up 'Régine Laleau' in Google

runs on WebDSL