{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T14:12:53Z","timestamp":1785334373810,"version":"3.55.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031975363","type":"print"},{"value":"9783031975370","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-97537-0_18","type":"book-chapter","created":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T22:53:59Z","timestamp":1759272839000},"page":"298-311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Dominant Strategies for\u00a0Hyperproperties"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4280-8441","authenticated-orcid":false,"given":"Bernd","family":"Finkbeiner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7781-043X","authenticated-orcid":false,"given":"Noemi","family":"Passing","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4) (1985). https:\/\/doi.org\/10.1016\/0020-0190(85)90056-0","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Clarkson, M.R., Finkbeiner, B., Koleini, M., Micinski, K.K., Rabe, M.N., S\u00e1nchez, C.: Temporal logics for hyperproperties. In: Proceedings of the 3rd Conference on Principles of Security and Trust (POST), pp. 265\u2013284 (2014)","DOI":"10.1007\/978-3-642-54792-8_15"},{"key":"18_CR3","doi-asserted-by":"publisher","unstructured":"Clarkson, M.R., Schneider, F.B.: Hyperproperties. In: IEEE Computer Security Foundations Symposium, CSF 2008. IEEE (2008). https:\/\/doi.org\/10.1109\/CSF.2008.7","DOI":"10.1109\/CSF.2008.7"},{"issue":"6","key":"18_CR4","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.3233\/JCS-2009-0393","volume":"18","author":"MR Clarkson","year":"2010","unstructured":"Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157\u20131210 (2010). https:\/\/doi.org\/10.3233\/JCS-2009-0393","journal-title":"J. Comput. Secur."},{"key":"18_CR5","doi-asserted-by":"publisher","unstructured":"Damm, W., Finkbeiner, B.: Does it pay to extend the perimeter of a world model? In: Butler, M.J., Schulte, W. (eds.) FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science, vol.\u00a06664, pp. 12\u201326. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-21437-0_4","DOI":"10.1007\/978-3-642-21437-0_4"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-642-21437-0_4","volume-title":"FM 2011: Formal Methods","author":"W Damm","year":"2011","unstructured":"Damm, W., Finkbeiner, B.: Does it pay to extend the perimeter of a world model? In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 12\u201326. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21437-0_4"},{"key":"18_CR7","doi-asserted-by":"publisher","unstructured":"Damm, W., Finkbeiner, B.: Automatic compositional synthesis of distributed systems. In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science, vol.\u00a08442, pp. 179\u2013193. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-06410-9_13","DOI":"10.1007\/978-3-319-06410-9_13"},{"key":"18_CR8","doi-asserted-by":"publisher","unstructured":"Finkbeiner, B.: Logics and algorithms for hyperproperties. ACM SIGLOG News 10(2), 4\u201323 (2023). https:\/\/doi.org\/10.1145\/3610392.3610394","DOI":"10.1145\/3610392.3610394"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Hahn, C., Hofmann, J., Tentrup, L.: Realizing $$\\omega $$-regular hyperproperties. In: Computer Aided Verification, pp. 40\u201363. Springer International Publishing, Cham (2020)","DOI":"10.1007\/978-3-030-53291-8_4"},{"key":"18_CR10","doi-asserted-by":"publisher","unstructured":"Finkbeiner, B., Hahn, C., Lukert, P., Stenger, M., Tentrup, L.: Synthesis from hyperproperties. Acta Informatica 57(1-2), 137\u2013163 (2020). https:\/\/doi.org\/10.1007\/s00236-019-00358-2","DOI":"10.1007\/s00236-019-00358-2"},{"key":"18_CR11","doi-asserted-by":"publisher","unstructured":"Finkbeiner, B., Passing, N.: Synthesizing dominant strategies for liveness. In: Dawar, A., Guruswami, V. (eds.) 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022, December 18-20, 2022, IIT Madras, Chennai, India. LIPIcs, vol.\u00a0250, pp. 37:1\u201337:19. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022). https:\/\/doi.org\/10.4230\/LIPIcs.FSTTCS.2022.37","DOI":"10.4230\/LIPIcs.FSTTCS.2022.37"},{"key":"18_CR12","doi-asserted-by":"publisher","unstructured":"Finkbeiner, B., Schewe, S.: Bounded synthesis. Int. J. Softw. Tools Technol. Transf. 15(5-6), 519\u2013539 (2013). https:\/\/doi.org\/10.1007\/s10009-012-0228-z","DOI":"10.1007\/s10009-012-0228-z"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"McCullough, D.: Noninterference and the composability of security properties. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 177\u2013186 (1988)","DOI":"10.1109\/SECPRI.1988.8110"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"McLean, J.: A general theory of composition for trace sets closed under selective interleaving functions. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 79\u201393 (1994)","DOI":"10.1109\/RISP.1994.296590"},{"key":"18_CR15","unstructured":"Passing, N.: Compositional Synthesis of Reactive Systems. Ph.D. thesis, Saarland University (2023)"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: FOCS 1977, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"18_CR17","unstructured":"Rabe, M.N.: A Temporal Logic Approach to Information-flow Control. Ph.D. thesis, Saarland University (2016)"},{"key":"18_CR18","unstructured":"Zdancewic, S., Myers, A.C.: Observational determinism for concurrent program security. In: Proceedings of CSFW\u201903 (2003)"}],"container-title":["Lecture Notes in Computer Science","Engineering Safe and Trustworthy Cyber Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97537-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T13:47:59Z","timestamp":1785332879000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97537-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783031975363","9783031975370"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97537-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}