Embedding Model-Based Security Policies in Software Development. - Javier Navarro-Machuca; Li-Chiou Chen (BigDataSecurity/HPSC/IDS, 2016)