Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform. - Leonardo Montecchi; Nicola Nostro; Andrea Ceccarelli; Giuseppe Vella; Antonio Caruso 002; Andrea Bondavalli (PASM, 2014)