Leonardo Montecchi, Nicola Nostro, Andrea Ceccarelli, Giuseppe Vella, Antonio Caruso, Andrea Bondavalli. Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform. Electronic Notes in Theoretical Computer Science, 310:113-133, 2015. [doi]
Abstract is missing.