{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T04:46:16Z","timestamp":1780634776407,"version":"3.54.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030647926","type":"print"},{"value":"9783030647933","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-64793-3_9","type":"book-chapter","created":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T20:06:15Z","timestamp":1608581175000},"page":"168-187","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Decoy Allocation Games on Graphs with Temporal Logic Objectives"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1083-8507","authenticated-orcid":false,"given":"Abhishek N.","family":"Kulkarni","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4470-2827","authenticated-orcid":false,"given":"Jie","family":"Fu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1578-9409","authenticated-orcid":false,"given":"Huan","family":"Luo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2169-5975","authenticated-orcid":false,"given":"Charles A.","family":"Kamhoua","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5888-8784","authenticated-orcid":false,"given":"Nandi O.","family":"Leslie","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,12,22]]},"reference":[{"issue":"3","key":"9_CR1","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1016\/j.tcs.2007.07.008","volume":"386","author":"L de Alfaro","year":"2007","unstructured":"de Alfaro, L., Henzinger, T.A., Kupferman, O.: Concurrent reachability games. Theoret. Comput. Sci. 386(3), 188\u2013217 (2007)","journal-title":"Theoret. Comput. Sci."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Anwar, A.H., Kamhoua, C., Leslie, N.: Honeypot allocation over attack graphs in cyber deception games. In: 2020 International Conference on Computing, Networking and Communications (ICNC), pp. 502\u2013506 (2020)","DOI":"10.1109\/ICNC47757.2020.9049764"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Aslanyan, Z., Nielson, F., Parker, D.: Quantitative verification and synthesis of attack-defence scenarios. In: 2016 IEEE 29th Computer Security Foundations Symposium (CSF), pp. 105\u2013119. IEEE, June 2016","DOI":"10.1109\/CSF.2016.15"},{"key":"9_CR4","unstructured":"Bai, W., Bilmes, J.A.: Greed is still good: maximizing monotone submodular+ supermodular functions. arXiv preprint arXiv:1801.07413 (2018)"},{"key":"9_CR5","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"9_CR6","series-title":"NATO ASI Series","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-94-009-4458-9_7","volume-title":"The Management of Uncertainty: Approaches, Methods and Applications","author":"PG Bennett","year":"1986","unstructured":"Bennett, P.G., Bussel, R.R.: Hypergame theory and methodology: the current \u201cstate of the art\u201d. In: Wilkin, L. (ed.) The Management of Uncertainty: Approaches, Methods and Applications. NATO ASI Series, vol. 32, pp. 158\u2013181. Springer, Dordrecht (1986). https:\/\/doi.org\/10.1007\/978-94-009-4458-9_7"},{"key":"9_CR7","doi-asserted-by":"publisher","unstructured":"Bloem, R., Chatterjee, K., Jobstmann, B.: Graph games and reactive synthesis. In: Handbook of Model Checking, pp. 921\u2013962. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_27","DOI":"10.1007\/978-3-319-10575-8_27"},{"issue":"2","key":"9_CR8","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1016\/j.jcss.2011.05.002","volume":"78","author":"K Chatterjee","year":"2012","unstructured":"Chatterjee, K., Henzinger, T.A.: A survey of stochastic omega-regular games. J. Comput. Syst. Sci. 78(2), 394\u2013413 (2012)","journal-title":"J. Comput. Syst. Sci."},{"key":"9_CR9","unstructured":"Durkota, K., Lisy, V., Bosansky, B., Kiekintveld, C.: Optimal network security hardening using attack graph games. In: Twenty-Fourth International Joint Conference on Artificial Intelligence (2015)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s10703-011-0115-3","volume":"39","author":"E Filiot","year":"2011","unstructured":"Filiot, E., Jin, N., Raskin, J.F.: Antichains and compositional algorithms for LTL synthesis. Formal Methods Syst. Des. 39, 261\u2013296 (2011). https:\/\/doi.org\/10.1007\/s10703-011-0115-3","journal-title":"Formal Methods Syst. Des."},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-36387-4_2","volume-title":"Automata Logics, and Infinite Games","author":"R Mazala","year":"2002","unstructured":"Mazala, R.: Infinite games. In: Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.) Automata Logics, and Infinite Games. LNCS, vol. 2500, pp. 23\u201338. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-36387-4_2"},{"key":"9_CR12","doi-asserted-by":"publisher","unstructured":"Heckman, K.E., Stech, F.J., Thomas, R.K., Schmoker, B., Tsow, A.W.: Bridging the classical D&D and cyber security domains. In: Cyber Denial, Deception and Counter Deception. AIS, pp. 5\u201329. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25133-2_2","DOI":"10.1007\/978-3-319-25133-2_2"},{"key":"9_CR13","unstructured":"Jha, S., Sheyner, O., Wing, J.: Two formal analyses of attack graphs. In: Proceedings 15th IEEE Computer Security Foundations Workshop, CSFW-15, pp. 49\u201363 (2002)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Jiang, W., Fang, B.x., Zhang, H.l., Tian, Z.h., Song, X.f.: Optimal network security strengthening using attack-defense game model. In: 2009 Sixth International Conference on Information Technology: New Generations, pp. 475\u2013480 (2009)","DOI":"10.1109\/ITNG.2009.300"},{"key":"9_CR15","unstructured":"Kiekintveld, C., Jain, M., Tsai, J., Pita, J., Ord\u00f3\u00f1ez, F., Tambe, M.: Computing optimal randomized resource allocations for massive security games. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems-Volume 1, pp. 689\u2013696 (2009)"},{"key":"9_CR16","series-title":"Advances in Information Security","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-319-14039-1_5","volume-title":"Cyber Warfare","author":"C Kiekintveld","year":"2015","unstructured":"Kiekintveld, C., Lis\u00fd, V., P\u00edbil, R.: Game-theoretic foundations for the strategic use of honeypots in network security. In: Jajodia, S., Shakarian, P., Subrahmanian, V.S., Swarup, V., Wang, C. (eds.) Cyber Warfare. AIS, vol. 56, pp. 81\u2013101. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-14039-1_5"},{"issue":"3","key":"9_CR17","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1109\/LCSYS.2020.3008078","volume":"5","author":"AN Kulkarni","year":"2021","unstructured":"Kulkarni, A.N., Luo, H., Leslie, N.O., Kamhoua, C.A., Fu, J.: Deceptive labeling: hypergames on graphs for stealthy deception. IEEE Control Syst. Lett. 5(3), 977\u2013982 (2021)","journal-title":"IEEE Control Syst. Lett."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Kulkarni, A.N., Fu, J.: A compositional approach to reactive games under temporal logic specifications. In: 2018 Annual American Control Conference (ACC), pp. 2356\u20132362. IEEE (2018)","DOI":"10.23919\/ACC.2018.8431867"},{"key":"9_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1992). https:\/\/doi.org\/10.1007\/978-1-4612-0931-7"},{"issue":"2","key":"9_CR20","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0168-0072(93)90036-D","volume":"65","author":"R McNaughton","year":"1993","unstructured":"McNaughton, R.: Infinite games played on finite graphs. Ann. Pure Appl. Logic 65(2), 149\u2013184 (1993)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Ou, X., Boyer, W.F., McQueen, M.A.: A scalable approach to attack graph generation. In: Proceedings of the 13th ACM Conference on Computer and Communications Security - CCS 2006, Alexandria, Virginia, USA, pp. 336\u2013345. ACM Press (2006)","DOI":"10.1145\/1180405.1180446"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-34266-0_12","volume-title":"Decision and Game Theory for Security","author":"R P\u00edbil","year":"2012","unstructured":"P\u00edbil, R., Lis\u00fd, V., Kiekintveld, C., Bo\u0161ansk\u00fd, B., P\u011bchou\u010dek, M.: Game theoretic model of strategic honeypot selection in computer networks. In: Grossklags, J., Walrand, J. (eds.) GameSec 2012. LNCS, vol. 7638, pp. 201\u2013220. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34266-0_12"},{"issue":"1","key":"9_CR23","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s11424-015-3288-9","volume":"29","author":"Y Sasaki","year":"2016","unstructured":"Sasaki, Y., Kijima, K.: Hierarchical hypergames and Bayesian games: a generalization of the theoretical comparison of hypergames and Bayesian games considering hierarchy of perceptions. J. Syst. Sci. Complex. 29(1), 187\u2013201 (2016)","journal-title":"J. Syst. Sci. Complex."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Sinha, A., Fang, F., An, B., Kiekintveld, C., Tambe, M.: Stackelberg security games: looking beyond a decade of success. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, pp. 5494\u20135501. International Joint Conferences on Artificial Intelligence Organization (2018)","DOI":"10.24963\/ijcai.2018\/775"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/978-3-030-32430-8_31","volume-title":"Decision and Game Theory for Security","author":"O Thakoor","year":"2019","unstructured":"Thakoor, O., Tambe, M., Vayanos, P., Xu, H., Kiekintveld, C., Fang, F.: Cyber camouflage games for strategic deception. In: Alpcan, T., Vorobeychik, Y., Baras, J.S., D\u00e1n, G. (eds.) GameSec 2019. LNCS, vol. 11836, pp. 525\u2013541. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32430-8_31"},{"key":"9_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04565-7","volume-title":"Approximation Algorithms","author":"VV Vazirani","year":"2003","unstructured":"Vazirani, V.V.: Approximation Algorithms. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-662-04565-7"},{"issue":"3","key":"9_CR27","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0096-3003(89)90102-1","volume":"34","author":"M Wang","year":"1989","unstructured":"Wang, M., Hipel, K.W., Fraser, N.M.: Solution concepts in hypergames. Appl. Math. Comput. 34(3), 147\u2013171 (1989)","journal-title":"Appl. Math. Comput."}],"container-title":["Lecture Notes in Computer Science","Decision and Game Theory for Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-64793-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,8]],"date-time":"2022-12-08T06:26:32Z","timestamp":1670480792000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-64793-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030647926","9783030647933"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-64793-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"22 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"GameSec","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Decision and Game Theory for Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"College Park, MD","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"gamesec2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.gamesec-conf.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"72% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"He conference was held virtueally due to COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}