Seamless Secure Development of Systems: From Modeling to Enforcement of Access Control Policies | IEEE Conference Publication | IEEE Xplore