كتاب إلكتروني
: A Logic for Quantitative Security Properties on Attack Trees
العنوان: | : A Logic for Quantitative Security Properties on Attack Trees |
---|---|
المؤلفون: | Nicoletti, Stefano M.Aff9, Lopuhaä-Zwakenberg, MilanAff9, Hahn, Ernst MoritzAff9, Stoelinga, MariëlleAff9, Aff10 |
المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Ferreira, Carla, editorAff7, Willemse, Tim A. C., editorAff8 |
المصدر: | Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. 14323:205-225 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783031471148 9783031471155 |
---|---|
DOI: | 10.1007/978-3-031-47115-5_12 |