{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:05:59Z","timestamp":1742987159583,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319298139"},{"type":"electronic","value":"9783319298146"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29814-6_24","type":"book-chapter","created":{"date-parts":[[2016,3,7]],"date-time":"2016-03-07T09:04:46Z","timestamp":1457341486000},"page":"295-302","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modelling and Analysis of Network Security - a\u00a0Probabilistic Value-passing CCS Approach"],"prefix":"10.1007","author":[{"given":"Qian","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liping","family":"Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,5]]},"reference":[{"key":"24_CR1","volume-title":"Graph Theory","author":"R Diestel","year":"2005","unstructured":"Diestel, R.: Graph Theory, 3rd edn. Springer-Verlag, New York (2005)","edition":"3"},{"issue":"1","key":"24_CR2","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R van Glabbeek","year":"1995","unstructured":"van Glabbeek, R., Smolka, S.A., Steffen, B., Tofts, C.M.: Reactive, generative, and stratified models of probabilistic processes. Inf. Comput. 121(1), 59\u201380 (1995)","journal-title":"Inf. Comput."},{"issue":"3","key":"24_CR3","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1287\/mnsc.14.3.159","volume":"14","author":"JC Harsanyi","year":"1967","unstructured":"Harsanyi, J.C.: Games with incomplete information played by bayesian players, i-iii. Manage. Sci. 14(3), 159\u2013182 (1967)","journal-title":"Manage. Sci."},{"key":"24_CR4","unstructured":"Jean Tirole, E.M.: Markov perfect equilibrium. J. Econ. Theor. (2001)"},{"issue":"2","key":"24_CR5","first-page":"12","volume":"4","author":"J Jormakka","year":"2005","unstructured":"Jormakka, J., Molsa, J.: Modelling information warfare as a game. J. Inf. Warfare 4(2), 12\u201325 (2005)","journal-title":"J. Inf. Warfare"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Nguyen, K.C., Alpcan, T., Basar, T.: Stochastic games for security in networks with interdependent nodes. In: Proceedings of International Conference on Game Theory for Networks (2009)","DOI":"10.1109\/GAMENETS.2009.5137463"},{"issue":"1","key":"24_CR7","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1109\/SURV.2012.062612.00056","volume":"15","author":"X Liang","year":"2013","unstructured":"Liang, X., Xiao, Y.: Game theory for network security. IEEE Commun. Surv. amp Tutorials 15(1), 472\u2013486 (2013)","journal-title":"IEEE Commun. Surv. amp Tutorials"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Lye, K., Wing, J.: Game strategies in network security. In: Proceedings of the Foundations of Computer Security (2005)","DOI":"10.1007\/s10207-004-0060-x"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Nguyen, K., Alpcan, T., Basar, T.: Stochastic games with incomplete information. In: Proceedings of IEEE International Conference on Communications (ICC) (2009)","DOI":"10.1109\/ICC.2009.5199443"},{"key":"24_CR10","volume-title":"A Course in Game Theory","author":"MJ Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)"},{"key":"24_CR11","unstructured":"Patcha, A., Park, J.: A game theoretic apporach to modeling intrusion detection in mobile ad hoc networks. In: Proceedings of the 2004 IEEE workshop on Information Assurance and Security (2004)"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Roy, S., Ellis, C.: A survey of game theory as applied to network security. In: $$43^{rd}$$ Hawaii International Conference on System Sciences (2010)","DOI":"10.1109\/HICSS.2010.35"},{"key":"24_CR13","unstructured":"Sangiorgi, D.: An Introduction to Bisimulation and Coinduction. Springer (2007)"},{"key":"24_CR14","volume-title":"Stochastic Games","author":"L Shapley","year":"1953","unstructured":"Shapley, L.: Stochastic Games. Princeton University Press, Princeton (1953)"},{"key":"24_CR15","unstructured":"Syverson, P.: A different look at secure distributed computation. In: Proceedings 10th IEEE Computer Security Foundations Workshop (1997)"},{"key":"24_CR16","series-title":"Mathematical Centre Tracts 139","volume-title":"Stochastic Dynamic Programming","author":"JVD Wal","year":"1981","unstructured":"Wal, J.V.D.: Stochastic Dynamic Programming. Mathematical Centre Tracts 139. Morgan Kaufmann, Amsterdam (1981)"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Xiaolin, C., Xiaobin, T., Yong, Z., Hongsheng, X.: A markov game theory-based risk assessment model for network information systems. In: International Conference on Computer Science and Software Engineering (2008)","DOI":"10.1109\/CSSE.2008.949"}],"container-title":["Lecture Notes in Computer Science","Information and Communications Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29814-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T06:16:32Z","timestamp":1623824192000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-29814-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319298139","9783319298146"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29814-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"5 March 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}