{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:33:33Z","timestamp":1743089613968,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319413532"},{"type":"electronic","value":"9783319413549"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/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":"http:\/\/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-41354-9_12","type":"book-chapter","created":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T07:22:29Z","timestamp":1467357749000},"page":"154-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards Behavioural Computer Science"],"prefix":"10.1007","author":[{"given":"Christian","family":"Johansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tore","family":"Pedersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Audun","family":"J\u00f8sang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,2]]},"reference":[{"key":"12_CR1","unstructured":"Augusto, J., Huch, M., Kameas, A., Maitland, J., McCullagh, P., Roberts, J., Sixsmith, A., Wichert, R. (eds.): Handbook of Ambient Assisted Living. IOS Press (2012)"},{"key":"12_CR2","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":"12_CR3","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-30436-1_23","volume-title":"Information Security and Privacy Research","author":"G Bella","year":"2012","unstructured":"Bella, G., Coles-Kemp, L.: Layered analysis of security ceremonies. In: Gritzalis, D., Furnell, S., Theoharidou, M. (eds.) SEC 2012. IFIP AICT, vol. 376, pp. 273\u2013286. Springer, Heidelberg (2012)"},{"issue":"4","key":"12_CR4","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1006\/ijhc.2001.0483","volume":"55","author":"N Bevan","year":"2001","unstructured":"Bevan, N.: International standards for HCI and usability. Int. J. Hum.-Comput. Stud. 55(4), 533\u2013552 (2001)","journal-title":"Int. J. Hum.-Comput. Stud."},{"issue":"3","key":"12_CR5","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1109\/TSMCA.2012.2210406","volume":"43","author":"M Bolton","year":"2013","unstructured":"Bolton, M., Bass, E., Siminiceanu, R.: Using formal verification to evaluate human-automation interaction. IEEE Trans. Sys. Man Cybern. 43(3), 488\u2013503 (2013)","journal-title":"IEEE Trans. Sys. Man Cybern."},{"key":"12_CR6","volume-title":"Behavioral Game Theory: Experiments in Strategic Interaction","author":"CF Camerer","year":"2003","unstructured":"Camerer, C.F.: Behavioral Game Theory: Experiments in Strategic Interaction. Princeton University Press, Princeton (2003)"},{"issue":"4","key":"12_CR7","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/s00165-007-0035-6","volume":"19","author":"P Curzon","year":"2007","unstructured":"Curzon, P., Ruk\u0161\u0117nas, R., Blandford, A.: An approach to formal verification of human-computer interaction. Form. Aspects Comput. 19(4), 513\u2013550 (2007)","journal-title":"Form. Aspects Comput."},{"key":"12_CR8","unstructured":"Ellison, C.: Ceremony design and analysis. Cryptology ePrint Archive report 2007\/399 (2007)"},{"volume-title":"Handbook of Sustainable Travel","year":"2014","key":"12_CR9","unstructured":"G\u00e4rling, T., Ettema, D., Friman, M. (eds.): Handbook of Sustainable Travel. Springer, Dordrecht (2014)"},{"volume-title":"Heuristics and Biases: The Psychology of Intuitive Judgment","year":"2002","key":"12_CR10","unstructured":"Gilovich, T., Griffin, D., Kahneman, D. (eds.): Heuristics and Biases: The Psychology of Intuitive Judgment. Cambridge University Press, New York (2002)"},{"key":"12_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Tiuryn, J., Kozen, D.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/978-3-319-17016-9_18","volume-title":"Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance","author":"C Johansen","year":"2015","unstructured":"Johansen, C., J\u00f8sang, A.: Probabilistic modelling of humans in security ceremonies. In: Garcia-Alfaro, J., Herrera-Joancomart\u00ed, J., Lupu, E., Posegga, J., Aldini, A., Martinelli, F., Suri, N. (eds.) DPM\/SETOP\/QASA 2014. LNCS, vol. 8872, pp. 277\u2013292. Springer, Heidelberg (2015)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Johansen, C., Pedersen, T., J\u00f8sang, A.: Reflections on behavioural computer science. Technical report 452, Department of Informatics, University of Oslo, April 2016","DOI":"10.1007\/978-3-319-41354-9_12"},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1142\/S0218488501000831","volume":"9","author":"A J\u00f8sang","year":"2001","unstructured":"J\u00f8sang, A.: A logic for uncertain probabilities. Int. J. Uncertainty Fuzziness Knowl.-Based Syst. 9(3), 279\u2013311 (2001)","journal-title":"Int. J. Uncertainty Fuzziness Knowl.-Based Syst."},{"issue":"2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1016\/j.dss.2005.05.019","volume":"43","author":"A J\u00f8sang","year":"2007","unstructured":"J\u00f8sang, A., Ismail, R., Boyd, C.: A survey of trust and reputation systems for online service provision. Decis. Support Syst. 43(2), 618\u2013644 (2007)","journal-title":"Decis. Support Syst."},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1017\/CBO9780511803475.039","volume-title":"Choices, Values and Frames","author":"D Kahneman","year":"2000","unstructured":"Kahneman, D.: Evaluation by moments, past and future. In: Kahneman, D., Tversky, A. (eds.) Choices, Values and Frames, pp. 693\u2013708. Cambridge University Press, New York (2000)"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1037\/0003-066X.58.9.697","volume":"58","author":"D Kahneman","year":"2003","unstructured":"Kahneman, D.: A perspective on judgment and choice: mapping bounded rationality. Am. Psychol. 58, 697\u2013720 (2003)","journal-title":"Am. Psychol."},{"issue":"1","key":"12_CR18","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1257\/089533006776526076","volume":"20","author":"D Kahneman","year":"2006","unstructured":"Kahneman, D., Thaler, R.H.: Anomalies: utility maximization and experienced utility. Journal Econ. Perspect. 20(1), 221\u2013234 (2006)","journal-title":"Journal Econ. Perspect."},{"key":"12_CR19","volume-title":"Unified Theories of Cognition","author":"A Newell","year":"1990","unstructured":"Newell, A.: Unified Theories of Cognition. Harvard University Press, Cambridge (1990)"},{"key":"12_CR20","unstructured":"Oliver, R.L.: Satisfaction: A Behavioral Perspective on Consumer. Sharpe (2010)"},{"issue":"8","key":"12_CR21","doi-asserted-by":"publisher","first-page":"1926","DOI":"10.1111\/j.1559-1816.2011.00789.x","volume":"41","author":"T Pedersen","year":"2011","unstructured":"Pedersen, T., Friman, M., Kristensson, P.: Affective forecasting: predicting and experiencing satisfaction with public transportation. J. Appl. Soc. Psychol. 41(8), 1926\u20131946 (2011)","journal-title":"J. Appl. Soc. Psychol."},{"issue":"1","key":"12_CR22","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jenvp.2011.10.004","volume":"32","author":"T Pedersen","year":"2012","unstructured":"Pedersen, T., Kristensson, P., Friman, M.: Counteracting the focusing illusion: effects of defocusing on car users predicted satisfaction with public transport. J. Environ. Psychol. 32(1), 30\u201336 (2012)","journal-title":"J. Environ. Psychol."},{"key":"12_CR23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511794797","volume-title":"Artificial Intelligence: Foundations of Computational Agents","author":"D Poole","year":"2010","unstructured":"Poole, D., Mackworth, A.: Artificial Intelligence: Foundations of Computational Agents. Cambridge University Press, New York (2010)"},{"key":"12_CR24","volume-title":"Interaction Design: Beyond Human-Computer Interaction","author":"Y Rogers","year":"2011","unstructured":"Rogers, Y., Sharp, H., Preece, J.: Interaction Design: Beyond Human-Computer Interaction, 3rd edn. Wiley, New York (2011)","edition":"3"},{"issue":"6","key":"12_CR25","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/s00165-008-0102-7","volume":"21","author":"R Ruksenas","year":"2009","unstructured":"Ruksenas, R., Back, J., Curzon, P., Blandford, A.: Verification-guided modelling of salience and cognitive load. Formal Asp. Comput. 21(6), 541\u2013569 (2009)","journal-title":"Formal Asp. Comput."},{"issue":"2","key":"12_CR26","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s11334-008-0050-7","volume":"4","author":"R Ruksenas","year":"2008","unstructured":"Ruksenas, R., Curzon, P., Blandford, A.: Modelling and analysing cognitive causes of security breaches. Innov. Syst. Softw. Eng. 4(2), 143\u2013160 (2008)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"12_CR27","volume-title":"Reason in Human Affairs","author":"HA Simon","year":"1983","unstructured":"Simon, H.A.: Reason in Human Affairs. Stanford University Press, Stanford (1983)"},{"key":"12_CR28","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4711.001.0001","volume-title":"Models of Bounded Rationality: Empirically Grounded Economic Reason","author":"HA Simon","year":"1997","unstructured":"Simon, H.A.: Models of Bounded Rationality: Empirically Grounded Economic Reason. MIT Press, Cambridge (1997)"},{"key":"12_CR29","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1017\/CBO9780511808098.024","volume-title":"Heuristics and Biases: The Psychology of Intuitive Judgment","author":"SA Sloman","year":"2002","unstructured":"Sloman, S.A.: Two systems of reasoning. In: Gilovich, T., Griffin, D., Kahneman, D. (eds.) Heuristics and Biases: The Psychology of Intuitive Judgment, pp. 379\u2013396. Cambridge University Press, New York (2002)"},{"key":"12_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and Temporal Properties of Processes","author":"C Stirling","year":"2001","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Springer, Heidelberg (2001)"},{"key":"12_CR31","volume-title":"Nudge: Improving Decisions about Health, Wealth, and Happiness","author":"RH Thaler","year":"2008","unstructured":"Thaler, R.H., Sunstein, C.R.: Nudge: Improving Decisions about Health, Wealth, and Happiness. Yale University Press, New Haven (2008)"},{"issue":"4","key":"12_CR32","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1330311.1330320","volume":"51","author":"R West","year":"2008","unstructured":"West, R.: The psychology of security. Commun. ACM 51(4), 34\u201340 (2008)","journal-title":"Commun. ACM"},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Wilson, T.D., Gilbert, D.T.: Affective forecasting. In: Advances in Experimental Social Psychology, vol. 35, pp. 345\u2013411. Academic Press (2003)","DOI":"10.1016\/S0065-2601(03)01006-2"}],"container-title":["IFIP Advances in Information and Communication Technology","Trust Management X"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41354-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T14:13:06Z","timestamp":1656771186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41354-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319413532","9783319413549"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41354-9_12","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"2 July 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"}]}}