Model-based design and analysis of permission-based security | IEEE Conference Publication | IEEE Xplore