A semi-graphical modeling framework for the automated analysis of networked systems security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Manuel Cheminod' in GoogleThis author has not been identified. Look up 'Luca Durante' in GoogleThis author has not been identified. Look up 'Marcello Maggiora' in GoogleThis author has not been identified. Look up 'Lucia Seno' in GoogleThis author has not been identified. Look up 'Carmela Troilo' in GoogleThis author has not been identified. Look up 'Adriano Valenzano' in Google

runs on WebDSL