Buldas, A., Lenin, A., Willemson, J., Charnamord, A.

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 International Publishing AG

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, 2017 IWSEC 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

ISSN

0302-9743

ISBN

978-3-319-64199-7

notes

Bibliogr.: 21 ref

TTÜ department

tarkvarateaduse instituut

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 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