%0 Conference Paper %1 conf/rtsi/CheminodDMSTV15 %A Cheminod, Manuel %A Durante, Luca %A Maggiora, Marcello %A Seno, Lucia %A Troilo, Carmela %A Valenzano, Adriano %B RTSI %D 2015 %I IEEE %K dblp %P 411-418 %T A semi-graphical modeling framework for the automated analysis of networked systems security. %U http://dblp.uni-trier.de/db/conf/rtsi/rtsi2015.html#CheminodDMSTV15 %@ 978-1-4673-8167-3

@inproceedings{conf/rtsi/CheminodDMSTV15, added-at = {2022-11-08T00:00:00.000+0100}, author = {Cheminod, Manuel and Durante, Luca and Maggiora, Marcello and Seno, Lucia and Troilo, Carmela and Valenzano, Adriano}, biburl = {https://www.bibsonomy.org/bibtex/276d8a0be3ca716f7736067714ed3e6fe/dblp}, booktitle = {RTSI}, crossref = {conf/rtsi/2015}, ee = {https://doi.org/10.1109/RTSI.2015.7325133}, interhash = {1f41bd735a22ab9d097404f36388fb53}, intrahash = {76d8a0be3ca716f7736067714ed3e6fe}, isbn = {978-1-4673-8167-3}, keywords = {dblp}, pages = {411-418}, publisher = {IEEE}, timestamp = {2024-04-09T16:00:13.000+0200}, title = {A semi-graphical modeling framework for the automated analysis of networked systems security.}, url = {http://dblp.uni-trier.de/db/conf/rtsi/rtsi2015.html#CheminodDMSTV15}, year = 2015 }