scientific article; zbMATH DE number 7802078

zbMath1530.68050arXiv2209.10322MaRDI QIDQ6191019

Thomas Brihaye, Sophie Pinchinat, Unnamed Author

Publication date: 8 February 2024

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of game theory (91A80) Semantics in the theory of computing (68Q55) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Computer security (68M25)

Cites Work

• Is my attack tree correct?
• Concurrent reachability games
• Automata and Compositional Strategies in Extensive Form Games
• Semantics for Specialising Attack Trees based on Linear Logic
• Attack-defense trees
• Information Security and Cryptology - ICISC 2005

This page was built for publication: