Academic Journal
Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata
العنوان: | Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata |
---|---|
المؤلفون: | Hansen, Rene Rydhof, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Legay, Axel, Poulsen, Danny Bøgsted |
المصدر: | Hansen , R R , Jensen , P G , Larsen , K G , Legay , A & Poulsen , D B 2017 , Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata . in Graphical Models for Security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers . Springer , Lecture Notes in Computer Science , pp. 75-90 , International Workshop on Graphical Models for Security , Santa Barbara , California , United States , 21/08/2017 . https://doi.org/10.1007/978-3-319-74860-3_5 |
بيانات النشر: | Springer |
سنة النشر: | 2017 |
المجموعة: | Aalborg University (AAU): Publications / Aalborg Universitet: Publikationer |
نوع الوثيقة: | article in journal/newspaper |
اللغة: | English |
DOI: | 10.1007/978-3-319-74860-3_5 |
الاتاحة: | https://vbn.aau.dk/da/publications/3627cfec-0069-4ae3-87ce-863879a29e72 https://doi.org/10.1007/978-3-319-74860-3_5 https://hal.archives-ouvertes.fr/hal-01640091v1/document https://link.springer.com/chapter/10.1007/978-3-319-74860-3_5 |
Rights: | info:eu-repo/semantics/openAccess |
رقم الانضمام: | edsbas.DCD2C3B |
قاعدة البيانات: | BASE |
DOI: | 10.1007/978-3-319-74860-3_5 |
---|