prindi

Simple infeasibility certificates for attack trees

autor
Buldas, Ahto
Lenin, Aleksandr
Villemson, Jan
Charnamord, Anton
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
Springer International Publishing AG
ilmumisaasta
2017
leheküljed
p. 39-55 : ill
seeria-sari
Lecture notes in computer science ; 10626
Security and cryptology
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
leitav
https://doi.org/10.1007/978-3-319-64200-0_3
märksõna
arvutisüsteemid
arvutiturve
riskianalüüs
matemaatilised mudelid
ISSN
0302-9743
ISBN
978-3-319-64199-7
märkused
Bibliogr.: 21 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
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 International Publishing AG, 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