Manuel Cheminod, Luca Durante, Marcello Maggiora, Lucia Seno, Carmela Troilo, Adriano Valenzano. A semi-graphical modeling framework for the automated analysis of networked systems security. In 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, RTSI 2015, Torino, Italy, September 16-18, 2015. pages 411-418, IEEE, 2015. [doi]
Abstract is missing.