Simple infeasibility certificates for attack trees

DOI10.1007/978-3-319-64200-0_3zbMath1398.68128OpenAlexW2738040454WikidataQ62048346 ScholiaQ62048346MaRDI QIDQ1800831

Anton Charnamord, Aleksandr Lenin, Jan Willemson, Ahto Buldas

Publication date: 24 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-64200-0_3

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

This page was built for publication: Simple infeasibility certificates for attack trees