Mario Arrigoni Neri, Marco Guarnieri, Eros Magri, Simone Mutti, Stefano Paraboschi: A Model-driven Approach for Securing Software Architectures. SECRYPT 2013: 595-602