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, 2017 IWSEC 2017, 12th International Workshop on Security Organization, August 30 – September 1, 2017
konverentsi toimumispaik
Hiroshima, Japan
ISSN
0302-9743
ISBN
978-3-319-64199-7
märkused
Bibliogr.: 21 ref
TTÜ struktuuriüksus
keel
inglise