Toward a model-driven access-control enforcement mechanism for pervasive systems. - Ben David Olivier-Nathanaël; Benoit Baudry (MDsec@MoDELS, 2012)