Simple infeasibility certificates for attack trees

author
Buldas, Ahto
Lenin, Aleksandr
Villemson, Jan
Charnamord, Anton
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
Springer
year of publication
2017
pages
p. 39-55 : ill
series
Lecture notes in computer science ; 10626
Security and cryptology
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
url
https://doi.org/10.1007/978-3-319-64200-0_3
subject term
arvutisüsteemid
arvutiturve
riskianalüüs
matemaatilised mudelid
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85028456863&origin=inward&txGid=26ff8d3cf1c1d7b434005f2530c84db0
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000455355700003
quartile
Q2
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
ISSN
0302-9743
ISBN
978-3-319-64199-7
notes
Bibliogr.: 21 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise