Multistage Attack Graph Security Games: Heuristic Strategies, with Empirical Game-Theoretic Analysis

<div>State transition for node <span class="nowrap"><svg height="6.04987pt" id="M151" style="vertical-align:-0.2325001pt" version="1.1" viewbox="-0.0498162 -5.81737 5.98461 6.04987" width="5.98461pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M219 86C216 168 211 250 206 337C201 410 189 448 163 448C131 448 79 396 43 344L60 322C91 359 110 375 118 375S132 358 136 298C141 238 152 81 155 -12H182C242 62 331 177 390 258C435 321 451 360 451 391C450 424 432 448 408 448C390 448 372 435 366 419C362 410 362 401 366 394C373 383 376 367 376 350C376 283 262 138 221 86H219Z"></path></g></svg>,</span> according to <span class="nowrap"><svg height="12.689pt" id="M152" style="vertical-align:-3.40067pt" version="1.1" viewbox="-0.0498162 -9.28833 84.5435 12.689" width="84.5435pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M620 675H597C578 656 570 650 541 650H144C112 650 104 653 94 675H72C59 618 42 552 23 493L53 491C71 534 88 564 105 585C124 608 144 615 238 615H290L197 121C182 40 174 34 88 28L82 0H361L367 28C275 34 266 38 281 121L374 615H441C522 615 543 608 553 583C562 560 566 531 565 493L597 494C603 551 612 629 620 675Z"></path></g><g transform="matrix(.013,0,0,-0.013,8.285,0)"><path d="M300 -147C201 -63 143 98 143 270S200 602 300 686L282 710C136 610 70 450 70 271V270C70 89 136 -72 282 -170L300 -147Z"></path></g><g transform="matrix(.013,0,0,-0.013,12.783,0)"><path d="M442 495C434 557 427 602 423 639C405 645 348 665 284 665C142 665 55 579 55 469C55 373 127 319 229 267C304 227 348 190 348 131C348 67 309 25 248 25C152 25 93 138 73 202L38 190C45 130 58 46 68 21C81 15 100 7 128 -1C158 -10 193 -15 229 -15C375 -15 472 74 472 188C472 287 400 343 295 394C207 439 171 470 171 525C171 583 212 624 268 624C349 624 387 550 407 487L442 495Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,19.348,3.132)"><path d="M329 433H203L239 587L230 596L147 534L123 433H57L30 395L34 388H115L61 129C37 16 59 -12 85 -12C147 -12 222 58 260 98L241 125C212 95 160 62 144 62C132 62 127 71 138 126L192 386L305 394L329 433Z"></path></g><g transform="matrix(.013,0,0,-0.013,23.016,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,28.159,0)"><path d="M687 0V35C623 43 611 56 577 144C512 316 450 490 386 665L335 652L130 138C97 54 84 43 18 35V0H242V35C169 44 166 58 181 106C193 146 206 182 217 213H409C424 173 439 130 449 100C465 56 460 44 401 35V0H687ZM390 266H234C260 337 285 410 313 483H316L390 266Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,37.337,3.132)"><path d="M329 433H203L239 587L230 596L147 534L123 433H57L30 395L34 388H115L61 129C37 16 59 -12 85 -12C147 -12 222 58 260 98L241 125C212 95 160 62 144 62C132 62 127 71 138 126L192 386L305 394L329 433Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,40.495,3.132)"><path d="M556 236V289H337V504H275V289H56V236H275V-4H337V236H556Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,46.055,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z"></path></g><g transform="matrix(.013,0,0,-0.013,51.034,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,56.177,0)"><path d="M41 650V615C111 608 121 602 121 516V134C121 48 111 42 32 35V0H289C413 0 518 27 592 83C668 141 717 229 717 351C717 446 678 517 628 564C564 625 467 650 341 650H41ZM255 540C255 569 257 586 265 595C272 602 292 609 328 609C397 609 450 589 491 547C537 502 566 426 566 331C566 152 474 43 340 43C270 43 255 68 255 140V540Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,66.07,3.132)"><path d="M329 433H203L239 587L230 596L147 534L123 433H57L30 395L34 388H115L61 129C37 16 59 -12 85 -12C147 -12 222 58 260 98L241 125C212 95 160 62 144 62C132 62 127 71 138 126L192 386L305 394L329 433Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,69.228,3.132)"><path d="M556 236V289H337V504H275V289H56V236H275V-4H337V236H556Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,74.788,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z"></path></g><g transform="matrix(.013,0,0,-0.013,79.767,0)"><path d="M275 270C275 450 212 609 64 710L45 686C145 604 203 442 203 270S147 -63 45 -147L64 -170C213 -68 275 89 275 270Z"></path></g></svg>.</span></div>

Security and Communication Networks

alg1

Algorithm 1

Algorithm 1: Multistage Attack Graph Security Games: Heuristic Strategies, with Empirical Game-Theoretic Analysis 