Adversarial Formal Semantics of Attack Trees and Related Problems

Security is a subject of increasing attention in our actual society in order to protect critical resources from information disclosure, theft or damage. The informal model of attack trees introduced by Schneier, and widespread in the industry, is advocated in the 2008 NATO report to govern the evalu...

Full description

Bibliographic Details

Published in:	arXiv.org
Main Authors:	Brihaye, Thomas, Pinchinat, Sophie, Terefenko, Alexandre
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 21.09.2022
Subjects:	Risk analysis Semantics Theft
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!