Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

Rene Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

7 Citationer (Scopus)
OriginalsprogEngelsk
TitelGraphical Models for Security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
ForlagSpringer
Publikationsdato2017
Sider75-90
ISBN (Trykt)978-3-319-74859-7
ISBN (Elektronisk)978-3-319-74860-3
DOI
StatusUdgivet - 2017
BegivenhedInternational Workshop on Graphical Models for Security - Santa Barbara, USA
Varighed: 21 aug. 201721 aug. 2017

Workshop

WorkshopInternational Workshop on Graphical Models for Security
Land/OmrådeUSA
BySanta Barbara
Periode21/08/201721/08/2017
NavnLecture Notes in Computer Science
ISSN0302-9743

Citationsformater