Attack trees in Isabelle

DOI10.1007/978-3-030-01950-1_36zbMath1497.68548arXiv1803.06494OpenAlexW2804520164MaRDI QIDQ2218979

Florian Kammüller

Publication date: 18 January 2021

Full work available at URL: https://arxiv.org/abs/1803.06494

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Attack trees in Isabelle