Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform.
Leonardo MontecchiNicola NostroAndrea CeccarelliGiuseppe VellaAntonio CarusoAndrea BondavalliPublished in: Electron. Notes Theor. Comput. Sci. (2015)