%0 Conference Paper %1 conf/sefm/NicolettiLHS23 %A Nicoletti, Stefano M. %A Lopuhaä-Zwakenberg, Milan %A Hahn, Ernst Moritz %A Stoelinga, Mariëlle %B SEFM %D 2023 %E Ferreira, Carla %E Willemse, Tim A. C. %I Springer %K dblp %P 205-225 %T sfATM: A Logic for Quantitative Security Properties on Attack Trees. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2023.html#NicolettiLHS23 %V 14323 %@ 978-3-031-47115-5

@inproceedings{conf/sefm/NicolettiLHS23, added-at = {2023-11-28T00:00:00.000+0100}, author = {Nicoletti, Stefano M. and Lopuhaä-Zwakenberg, Milan and Hahn, Ernst Moritz and Stoelinga, Mariëlle}, biburl = {https://www.bibsonomy.org/bibtex/235073a8d4037c07f005c6df9d04c33f1/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2023}, editor = {Ferreira, Carla and Willemse, Tim A. C.}, ee = {https://doi.org/10.1007/978-3-031-47115-5_12}, interhash = {fdfb14843a2979b4093da7111d9b3eff}, intrahash = {35073a8d4037c07f005c6df9d04c33f1}, isbn = {978-3-031-47115-5}, keywords = {dblp}, pages = {205-225}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:06.000+0200}, title = {sfATM: A Logic for Quantitative Security Properties on Attack Trees.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2023.html#NicolettiLHS23}, volume = 14323, year = 2023 }