Skip to main content

Security-Aware Synthesis Using Delayed-Action Games

Publication ,  Conference
Elfar, M; Wang, Y; Pajic, M
Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
January 1, 2019

Stochastic multiplayer games (SMGs) have gained attention in the field of strategy synthesis for multi-agent reactive systems. However, standard SMGs are limited to modeling systems where all agents have full knowledge of the state of the game. In this paper, we introduce delayed-action games (DAGs) formalism that simulates hidden-information games (HIGs) as SMGs, where hidden information is captured by delaying a player’s actions. The elimination of private variables enables the usage of SMG off-the-shelf model checkers to implement HIGs. Furthermore, we demonstrate how a DAG can be decomposed into subgames that can be independently explored, utilizing parallel computation to reduce the model checking time, while alleviating the state space explosion problem that SMGs are notorious for. In addition, we propose a DAG-based framework for strategy synthesis and analysis. Finally, we demonstrate applicability of the DAG-based synthesis framework on a case study of a human-on-the-loop unmanned-aerial vehicle system under stealthy attacks, where the proposed framework is used to formally model, analyze and synthesize security-aware strategies for the system.

Duke Scholars

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

EISSN

1611-3349

ISSN

0302-9743

Publication Date

January 1, 2019

Volume

11561 LNCS

Start / End Page

180 / 199

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Elfar, M., Wang, Y., & Pajic, M. (2019). Security-Aware Synthesis Using Delayed-Action Games. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11561 LNCS, pp. 180–199). https://doi.org/10.1007/978-3-030-25540-4_10
Elfar, M., Y. Wang, and M. Pajic. “Security-Aware Synthesis Using Delayed-Action Games.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11561 LNCS:180–99, 2019. https://doi.org/10.1007/978-3-030-25540-4_10.
Elfar M, Wang Y, Pajic M. Security-Aware Synthesis Using Delayed-Action Games. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2019. p. 180–99.
Elfar, M., et al. “Security-Aware Synthesis Using Delayed-Action Games.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11561 LNCS, 2019, pp. 180–99. Scopus, doi:10.1007/978-3-030-25540-4_10.
Elfar M, Wang Y, Pajic M. Security-Aware Synthesis Using Delayed-Action Games. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2019. p. 180–199.

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

EISSN

1611-3349

ISSN

0302-9743

Publication Date

January 1, 2019

Volume

11561 LNCS

Start / End Page

180 / 199

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences