{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:35Z","timestamp":1740099095190,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319991535"},{"type":"electronic","value":"9783319991542"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-99154-2_23","type":"book-chapter","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T14:14:35Z","timestamp":1534256075000},"page":"373-388","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Modeling Humans: A General Agent Model for the Evaluation of Security"],"prefix":"10.1007","author":[{"given":"Michael","family":"Rausch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Fawaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Keefe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William H.","family":"Sanders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-319-31664-2_23","volume-title":"Critical Information Infrastructures Security","author":"F Baiardi","year":"2016","unstructured":"Baiardi, F., Cor\u00f2, F., Tonelli, F., Bertolini, A., Bertolotti, R., Guidi, L.: Security stress: evaluating ICT robustness through a monte carlo method. In: Panayiotou, C.G.G., Ellinas, G., Kyriakides, E., Polycarpou, M.M.M. (eds.) CRITIS 2014. LNCS, vol. 8985, pp. 222\u2013227. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-31664-2_23"},{"issue":"10","key":"23_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S1353-4858(16)30095-2","volume":"2016","author":"M Buratowski","year":"2016","unstructured":"Buratowski, M.: The DNC server breach: who did it and what does it mean? Netw. Secur. 2016(10), 5\u20137 (2016)","journal-title":"Netw. Secur."},{"issue":"6","key":"23_CR3","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1016\/0167-4048(93)90056-B","volume":"12","author":"J Eloff","year":"1993","unstructured":"Eloff, J., Labuschagne, L., Badenhorst, K.: A comparative framework for risk analysis methods. Comput. Secur. 12(6), 597\u2013603 (1993). https:\/\/doi.org\/10.1016\/0167-4048(93)90056-B","journal-title":"Comput. Secur."},{"issue":"4","key":"23_CR4","first-page":"191","volume":"18","author":"V Gorodetski","year":"2003","unstructured":"Gorodetski, V., Kotenko, I., Karsaev, O.: Multi-agent technologies for computer network security: attack simulation, intrusion detection and intrusion detection learning. Int. J. Comput. Syst. Sci. Eng. 18(4), 191\u2013200 (2003)","journal-title":"Int. J. Comput. Syst. Sci. Eng."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Grossklags, J., Christin, N., Chuang, J.: Secure or insure? A game-theoretic analysis of information security games. In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, pp. 209\u2013218. ACM, New York (2008)","DOI":"10.1145\/1367497.1367526"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Herley, C., v. Oorschot, P.C.: SoK: science, security and the elusive goal of security as a scientific pursuit. In: 2017 IEEE Symposium on Security and Privacy (SP), pp. 99\u2013120, May 2017","DOI":"10.1109\/SP.2017.38"},{"key":"23_CR7","doi-asserted-by":"publisher","unstructured":"Izmalkov, S., Micali, S., Lepinski, M.: Rational secure computation and ideal mechanism design. In: 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), pp. 585\u2013594, October 2005. https:\/\/doi.org\/10.1109\/SFCS.2005.64","DOI":"10.1109\/SFCS.2005.64"},{"issue":"1","key":"23_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/logcom\/exs029","volume":"24","author":"B Kordy","year":"2012","unstructured":"Kordy, B., Mauw, S., Radomirovi\u0107, S., Schweitzer, P.: Attack-defense trees. J. Logic Comput. 24(1), 55\u201387 (2012). https:\/\/doi.org\/10.1093\/logcom\/exs029","journal-title":"J. Logic Comput."},{"key":"23_CR9","unstructured":"Kordy, B., Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., Schweitzer, P.: Dag-based attack and defense modeling: don\u2019t miss the forest for the attack trees. CoRR abs\/1303.7397 (2013). http:\/\/arxiv.org\/abs\/1303.7397"},{"key":"23_CR10","unstructured":"Kramer, J.: Attack-defence graphs: on the formalisation of security-critical systems. Master\u2019s thesis, Saarland University (2015). https:\/\/www-old.cs.uni-paderborn.de\/uploads\/tx_sibibtex\/main_01.pdf"},{"issue":"3","key":"23_CR11","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/MSP.2011.67","volume":"9","author":"R Langner","year":"2011","unstructured":"Langner, R.: Stuxnet: dissecting a cyberwarfare weapon. IEEE Secur. Priv. 9(3), 49\u201351 (2011)","journal-title":"IEEE Secur. Priv."},{"key":"23_CR12","unstructured":"Lee, R.M., Assante, M.J., Conway, T.: Analysis of the cyber attack on the Ukrainian power grid. SANS Industrial Control Systems (2016)"},{"key":"23_CR13","unstructured":"LeMay, E.: Adversary-driven state-based system security evaluation. Ph.D. thesis, University of Illinois at Urbana-Champaign (2011). https:\/\/www.perform.illinois.edu\/Papers\/USAN_papers\/11LEM02.pdf"},{"issue":"3","key":"23_CR14","doi-asserted-by":"publisher","first-page":"25:1","DOI":"10.1145\/2480741.2480742","volume":"45","author":"MH Manshaei","year":"2013","unstructured":"Manshaei, M.H., Zhu, Q., Alpcan, T., Bac\u015far, T., Hubaux, J.P.: Game theory meets network security and privacy. ACM Comput. Surv. 45(3), 25:1\u201325:39 (2013)","journal-title":"ACM Comput. Surv."},{"key":"23_CR15","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"MA Marsan","year":"1994","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets, 1st edn. Wiley, New York (1994)","edition":"1"},{"key":"23_CR16","unstructured":"Meyer, J.F., Movaghar, A., Sanders, W.H.: Stochastic activity networks: Structure, behavior, and application. In: Proceedings of the International Conference on Timed Petri Nets, Torino, Italy, pp. 106\u2013115, July 1985"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Roy, S., Ellis, C., Shiva, S., Dasgupta, D., Shandilya, V., Wu, Q.: A survey of game theory as applied to network security. In: 2010 43rd Hawaii International Conference on System Sciences (HICSS), pp. 1\u201310. IEEE (2010)","DOI":"10.1109\/HICSS.2010.35"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Salter, C., Saydjari, O.S., Schneier, B., Wallner, J.: Toward a secure system engineering methodolgy. In: Proceedings of the 1998 Workshop on New Security Paradigms, NSPW 1998, pp. 2\u201310. ACM, New York (1998)","DOI":"10.1145\/310889.310900"},{"issue":"1","key":"23_CR19","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/49.64901","volume":"9","author":"WH Sanders","year":"1991","unstructured":"Sanders, W.H., Meyer, J.F.: Reduced base model construction methods for stochastic activity networks. IEEE J. Sel. Areas Commun. 9(1), 25\u201336 (1991). Special issue on Computer-Aided Modeling, Analysis, and Design of Communication Networks","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-7091-9123-1_10","volume-title":"Dependable Computing for Critical Applications, Dependable Computing and Fault-Tolerant Systems","author":"WH Sanders","year":"1991","unstructured":"Sanders, W.H., Meyer, J.: A unified approach for specifying measures of performance, dependability, and performability. In: Avizienis, A., Kopetz, H., Laprie, J. (eds.) Dependable Computing for Critical Applications, Dependable Computing and Fault-Tolerant Systems, vol. 4, pp. 215\u2013237. Springer, Vienna (1991). https:\/\/doi.org\/10.1007\/978-3-7091-9123-1_10"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Straub, D.W., Welke, R.J.: Coping with systems risk: security planning models for management decision making. MIS Q., 441\u2013469 (1998)","DOI":"10.2307\/249551"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Verendel, V.: Quantified security is a weak hypothesis: a critical survey of results and assumptions. In: Proceedings of the 2009 Workshop on New Security Paradigms Workshop, NSPW 2009, pp. 37\u201350. ACM, New York(2009)","DOI":"10.1145\/1719030.1719036"},{"key":"23_CR23","unstructured":"Wagner, N., Lippmann, R., Winterrose, M., Riordan, J., Yu, T., Streilein, W.W.: Agent-based simulation for assessing network security risk due to unauthorized hardware. In: Proceedings of the Symposium on Agent-Directed Simulation, ADS 2015, pp. 18\u201326. Society for Computer Simulation International, San Diego (2015)"},{"key":"23_CR24","doi-asserted-by":"publisher","unstructured":"You, X.Z., Shiyong, Z.: A kind of network security behavior model based on game theory. In: Proceedings of the 4th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2003, pp. 950\u2013954, August 2003. https:\/\/doi.org\/10.1109\/PDCAT.2003.1236458","DOI":"10.1109\/PDCAT.2003.1236458"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99154-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T05:07:30Z","timestamp":1571720850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99154-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319991535","9783319991542"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99154-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}