Towards scalable security analysis using multi-layered security models. (November 2016)