Simple infeasibility certificates for attack trees

statement of authorship
Ahto Buldas, Aleksandr Lenin, Jan Willemson, and Anton Charnamord
source
Advances in Information and Computer Security : 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 – September 1, 2017 : proceedings
location of publication
Cham
publisher
year of publication
pages
p. 39-55 : ill
series
Lecture notes in computer science ; 10626
conference name, date
12th International Workshop on Security, IWSEC 2017, August 30 – September 1, 2017IWSEC 2017, 12th International Workshop on Security Organization, August 30 – September 1, 2017
conference location
Hiroshima, Japan
ISSN
0302-9743
ISBN
978-3-319-64199-7
notes
Bibliogr.: 21 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
Buldas, A., Lenin, A., Willemson, J., Charnamord, A. Simple infeasibility certificates for attack trees // Advances in Information and Computer Security : 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 – September 1, 2017 : proceedings. Cham : Springer, 2017. p. 39-55 : ill. (Lecture notes in computer science ; 10626, Security and cryptology). https://doi.org/10.1007/978-3-319-64200-0_3