Decoy allocation games on graphs with temporal logic objectives

DOI10.1007/978-3-030-64793-3_9zbMath1483.68044arXiv2010.01208OpenAlexW3126961494MaRDI QIDQ2056945

Huan Luo, Charles A. Kamhoua, Abhishek N. Kulkarni, Nandi O. Leslie, Jie Fu

Publication date: 8 December 2021

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

zbMATH Keywords

temporal logicgames on graphsdeceptionhypergames

Mathematics Subject Classification ID

Games involving graphs (91A43) Applications of game theory (91A80) Temporal logic (03B44) Computer security (68M25)

Related Items (1)

Game theory on attack graph for cyber deception

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A survey of stochastic \(\omega \)-regular games
• Antichains and compositional algorithms for LTL synthesis
• Solution concepts in hypergames
• Infinite games played on finite graphs
• Concurrent reachability games
• Graph Games and Reactive Synthesis
• Approximate Solutions for Attack Graph Games with Imperfect Information
• Infinite Games
• Game Theoretic Model of Strategic Honeypot Selection in Computer Networks
• Honeypot Allocation Games over Attack Graphs for Cyber Deception

This page was built for publication: Decoy allocation games on graphs with temporal logic objectives