{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T08:56:32Z","timestamp":1781254592143,"version":"3.54.1"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032263483","type":"print"},{"value":"9783032263490","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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-032-26349-0_39","type":"book-chapter","created":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T08:06:40Z","timestamp":1781251600000},"page":"471-483","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Detection of Cryptojacking Attacks: Computational Behavioral Analysis of Human-AI Interaction"],"prefix":"10.1007","author":[{"given":"Youssra ben","family":"Salah","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter H. M. P.","family":"Roelofsma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,2]]},"reference":[{"key":"39_CR1","unstructured":"2024 SonicWall Cyber Threat Report, SonicWall Capture Labs.: https:\/\/www.sonicwall.com\/resources\/white-papers\/2024-sonicwall-cyber-threat-report"},{"key":"39_CR2","unstructured":"Appendix: More details can be found as Linked Data at (2025). https:\/\/www.researchgate.net\/publication\/393842107"},{"issue":"8","key":"39_CR3","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0255503","volume":"16","author":"R Bhalwankar","year":"2021","unstructured":"Bhalwankar, R., Treur, J.: Modeling learner-controlled mental model learning processes by a second-order adaptive network model. PLoS One. 16(8), e0255503 (2021)","journal-title":"PLoS One"},{"issue":"2","key":"39_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1023\/B:APIN.0000013334.33853.0c","volume":"20","author":"FMT Brazier","year":"2004","unstructured":"Brazier, F.M.T., et al.: Compositional verification of a multi-agent system for one-to-many negotiation. Appl. Intell. 20(2), 95\u2013117 (2004)","journal-title":"Appl. Intell."},{"issue":"5","key":"39_CR5","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1006\/ijhc.1999.0249","volume":"50","author":"FMT Brazier","year":"1999","unstructured":"Brazier, F.M.T., Treur, J.: Compositional modelling of reflective agents. Int. J. Hum. Comput. Stud. 50(5), 407\u2013431 (1999)","journal-title":"Int. J. Hum. Comput. Stud."},{"key":"39_CR6","doi-asserted-by":"publisher","unstructured":"Cornelissen, F., Jonker, C.M., Treur, J.: Compositional verification of knowledge-based sys-tems: a case study for diagnostic reasoning. In: Plaza, E., Benjamins, R. (eds.) Knowledge ac-Quisition, Modeling and Management. Proceedings EKAW 1997 Lecture Notes in Computer Science, vol. 1319, pp. 65\u201380. Springer, Berlin, Heidelberg https:\/\/doi.org\/10.1007\/BFb0026778","DOI":"10.1007\/BFb0026778"},{"key":"39_CR7","volume-title":"The Nature of Explanation","author":"KWJ Craik","year":"1943","unstructured":"Craik, K.W.J.: The Nature of Explanation. Cambridge University Press (1943)"},{"key":"39_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogsys.2024.101290","volume":"88","author":"R Chawla","year":"2024","unstructured":"Chawla, R., Jabeen, F., Treur, J., Taal, H.R., Roelofsma, P.H.M.P.: An adaptive network model simulating the effects of an AI coach on supporting safety in hospitals through inducing adherence to guidelines in neonatal medical protocols. Cogn. Syst. Res. 88, 101290 (2024). https:\/\/doi.org\/10.1016\/j.cogsys.2024.101290","journal-title":"Cogn. Syst. Res."},{"key":"39_CR9","unstructured":"Cybercrime To Cost The World $9.5 Trillion USD annually in 2024: Cybersecurity Ventures.  (2025). https:\/\/cybersecurityventures.com\/cybercrime-to-cost-the-world-9-trillion-annually-in-2024\/"},{"key":"39_CR10","unstructured":"Coinhive Exploitation: Palo Alto Networks Cyberpedia. https:\/\/www.paloaltonetworks.com\/cyberpedia\/cryptojacking"},{"key":"39_CR11","unstructured":"Cryptojacking: the Emerging Threat that is Targeting Cloud Attack Surface, Conquer Your Risk. https:\/\/www.conquer-your-risk.com\/2023\/01\/30\/cryptojacking-emerging-threat-cloud-attack-surface\/"},{"key":"39_CR12","unstructured":"Maes, P., Nardi, D. (eds.): Meta-level Architectures and Reflection. North-Holland (1988)"},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"Meyer, J. J., Treur, J. (eds.): Dynamics and management of reasoning processes. Springer Science & Business Media (2001)","DOI":"10.1007\/978-94-017-1743-4"},{"key":"39_CR14","doi-asserted-by":"publisher","unstructured":"Roelofsma, P. H. M. P., Jabeen, F., Taal, H. R., & Treur, J. (eds.): Using shared mental models and organisational learning to support safety and security through cyber-space: A computational analysis approach. Springer Nature  (2025). doi:https:\/\/doi.org\/10.1007\/978-3-031-72075-8","DOI":"10.1007\/978-3-031-72075-8"},{"issue":"3","key":"39_CR15","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1002\/int.4550060304","volume":"6","author":"J Treur","year":"1991","unstructured":"Treur, J.: On the use of reflection principles in modelling complex reasoning. Int. J. Intell. Syst. 6(3), 277\u2013294 (1991)","journal-title":"Int. J. Intell. Syst."},{"key":"39_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/3-540-58792-6_22","volume-title":"Logic Program Synthesis and Transformation \u2014 META-Programming in Logic. Proceedings META LOPSTR 1994","author":"J Treur","year":"1994","unstructured":"Treur, J.: Temporal semantics of meta-level architectures for dynamic control of reasoning. In: Fribourg, L., Turini, F. (eds.) Logic Program Synthesis and Transformation \u2014 META-Programming in Logic. Proceedings META LOPSTR 1994 Lecture Notes in Computer Science, vol. 883, pp. 353\u2013376. Springer, Berlin, Heidelberg (1994)"},{"issue":"4","key":"39_CR17","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s40595-016-0067-z","volume":"3","author":"J Treur","year":"2016","unstructured":"Treur, J.: Verification of temporal-causal network models by mathematical analysis. Vietnam J. Comput. Sci. 3(4), 207\u2013221 (2016a)","journal-title":"Vietnam J. Comput. Sci."},{"key":"39_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-030-04070-3_27","volume-title":"Theory and Practice of Natural Computing: 7th International Conference, TPNC 2018, Proceedings","author":"J Treur","year":"2018","unstructured":"Treur, J.: Network reification as a unified approach to represent network adaptation principles within a network. In: Theory and Practice of Natural Computing: 7th International Conference, TPNC 2018, Proceedings Lecture Notes in Computer Science, vol. 11324, pp. 344\u2013358. Springer International Publishing (2018a)"},{"key":"39_CR19","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1007\/978-3-030-05411-3_51","volume-title":"Complex Networks and their Applications VII: Volume 1 Proceedings the 7th International Conference on Complex Networks and their Application COMPLEX NETWORK, Studies in Computational Intelligence","author":"J Treur","year":"2018","unstructured":"Treur, J.: Multilevel network reification: representing higher-order adaptivity in a network. In: Complex Networks and their Applications VII: Volume 1 Proceedings the 7th International Conference on Complex Networks and their Application Complex Network, Studies in Computational Intelligence, vol. 812, pp. 635\u2013651. Springer International Publishing (2018b). https:\/\/doi.org\/10.1007\/978-3-030-05411-3_51"},{"key":"39_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31445-3","volume-title":"Network-Oriented Modeling for Adaptive Networks: Designing Higher-Order Adaptive Biological, Mental and Social Network Models","author":"J Treur","year":"2020","unstructured":"Treur, J.: Network-Oriented Modeling for Adaptive Networks: Designing Higher-Order Adaptive Biological, Mental and Social Network Models. Springer Nature (2020a). https:\/\/doi.org\/10.1007\/978-3-030-31445-3"},{"key":"39_CR21","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.cogsys.2020.11.005","volume":"67","author":"J Treur","year":"2021","unstructured":"Treur, J.: An adaptive network model covering metacognition to control adaptation for multiple mental models. Cogn. Syst. Res. 67, 18\u201327 (2021). https:\/\/doi.org\/10.1016\/j.cogsys.2020.11.005","journal-title":"Cogn. Syst. Res."},{"key":"39_CR22","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-030-85821-6_17","volume-title":"Mental Models and their Dynamics, Adaptation, and Control: a Self-Modeling Network Modeling Approach, Ch 17","author":"J Treur","year":"2022","unstructured":"Treur, J.: With a little help: a modeling environment for self-modeling network models. In: Treur, J., Van Ments, L. (eds.) Mental Models and their Dynamics, Adaptation, and Control: a Self-Modeling Network Modeling Approach, Ch 17, pp. 467\u2013489. Springer Nature, Cham (2022a)"},{"key":"39_CR23","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-030-85821-6_18","volume-title":"Mental Models and their Dynamics, Adaptation, and Control: a Self-Modeling Network Modeling Approach, Ch 18","author":"J Treur","year":"2022","unstructured":"Treur, J.: Where is this leading me: stationary point and equilibrium analysis for self-modeling network models. In: Treur, J., Van Ments, L. (eds.) Mental Models and their Dynamics, Adaptation, and Control: a Self-Modeling Network Modeling Approach, Ch 18, pp. 491\u2013535. Cham, Springer Nature (2022b)"},{"key":"39_CR24","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/978-3-030-85821-6_19","volume-title":"Mental Models and their Dynamics, Adaptation, and Control: a Self-Modeling Network Modeling Approach, Ch 19","author":"J Treur","year":"2022","unstructured":"Treur, J.: Does this suit me? Validation of self-modeling network models by parameter tuning. In: Treur, J., Van Ments, L. (eds.) Mental Models and their Dynamics, Adaptation, and Control: a Self-Modeling Network Modeling Approach, Ch 19, pp. 537\u2013564. Cham, Springer Nature (2022c)"},{"key":"39_CR25","doi-asserted-by":"crossref","unstructured":"Treur, J., Van Ments, L. (eds.) Mental Models and their Dynamics, Adaptation, and Control: a Self-Modeling Network Modeling Approach. Springer Nature (2022)","DOI":"10.1007\/978-3-030-85821-6"},{"key":"39_CR26","doi-asserted-by":"publisher","unstructured":"Van Ments, L., Treur, J., Klein, J., Roelofsma, P. H. M. P.: Developing a safety and security AI coach: a second-order adaptive network model of shared mental models in hospital teamwork. In: P. H. M. P. Roelofsma, F. Jabeen, H. R. Taal, & J. Treur (eds.), Using shared mental models and organisational learning to support safety and security through cyberspace (pp. 23\u201358). Springer Nature  (2025). doi:https:\/\/doi.org\/10.1007\/978-3-031-72075-8_2","DOI":"10.1007\/978-3-031-72075-8_2"},{"issue":"1\u20132","key":"39_CR27","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"RW Weyhrauch","year":"1980","unstructured":"Weyhrauch, R.W.: Prolegomena to a theory of mechanized formal reasoning. Artif. Intell. 13(1\u20132), 133\u2013170 (1980)","journal-title":"Artif. Intell."},{"key":"39_CR28","unstructured":"IBM: What Is Cryptojacking?, https:\/\/www.ibm.com\/think\/topics\/cryptojacking"},{"key":"39_CR29","unstructured":"Roelofsma, P.H.M.P., Barelds, N., Bouma, D., Mestour, W., van den Hout, Treur, J. (eds.)  Computational Analysis of Human and Organisational Decision Processes for the Control of Risk Management and Cybersecurity: A Multilevel Adaptive Dynamical System Modeling Approach. Springer Nature (2026, in press). https:\/\/link.springer.com\/book\/9783032238856"}],"container-title":["Lecture Notes in Computer Science","Intelligent Human Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-26349-0_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T08:06:53Z","timestamp":1781251613000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-26349-0_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032263483","9783032263490"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-26349-0_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"2 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IHCI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Human Computer Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Jaipur","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ihci2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ihciconference.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}