Simple infeasibility certificates for attack trees
Buldas, Ahto
;
Lenin, Aleksandr
;
Villemson, Jan
;
Charnamord, Anton
Advances in Information and Computer Security : 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 – September 1, 2017 : proceedings
2017
/
p. 39-55 : ill
https://doi.org/10.1007/978-3-319-64200-0_3
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85028456863&origin=inward&txGid=26ff8d3cf1c1d7b434005f2530c84db0
https://www.webofscience.com/wos/woscc/full-record/WOS:000455355700003