Simple infeasibility certificates for attack trees

vastutusandmed
Ahto Buldas, Aleksandr Lenin, Jan Willemson, and Anton Charnamord
allikas
Advances in Information and Computer Security : 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 – September 1, 2017 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 39-55 : ill
seeria-sari
Lecture notes in computer science ; 10626
konverentsi nimetus, aeg
12th International Workshop on Security, IWSEC 2017, August 30 – September 1, 2017IWSEC 2017, 12th International Workshop on Security Organization, August 30 – September 1, 2017
konverentsi toimumispaik
Hiroshima, Japan
kvartiil
Q2
kategooria (üld)
ISSN
0302-9743
ISBN
978-3-319-64199-7
märkused
Bibliogr.: 21 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
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