{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:51:26Z","timestamp":1725511886932},"publisher-location":"Berlin, Heidelberg","reference-count":59,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540718758"},{"type":"electronic","value":"9783540718765"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71876-5_4","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T14:30:55Z","timestamp":1180535455000},"page":"51-65","source":"Crossref","is-referenced-by-count":3,"title":["Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Felici","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","first-page":"48","volume-title":"Proceedings of the New Security Paradigms Workshop","author":"A. Abdul-Rahman","year":"1997","unstructured":"Abdul-Rahman, A., Halles, S.: A distributed model of trust. In: Proceedings of the New Security Paradigms Workshop, pp. 48\u201360. ACM Press, New York (1997)"},{"key":"4_CR2","volume-title":"Security Engineering: A Guide to Build Dependable Distribute Systems","author":"R. Anderson","year":"2001","unstructured":"Anderson, R.: Security Engineering: A Guide to Build Dependable Distribute Systems. Wiley, Chichester (2001)"},{"key":"4_CR3","unstructured":"Axelrod, R.: The Evolution of Co-operation. Penguin Books (1990)"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/DSN.2003.1209913","volume-title":"Proceedings of the 2003 International Conference on Dependable Systems and Networks, DSN\u201903","author":"R. Bloomfield","year":"2003","unstructured":"Bloomfield, R., Littlewood, B.: Multi-legged arguments: the impact of diversity upon confidence in dependability arguments. In: Proceedings of the 2003 International Conference on Dependable Systems and Networks, DSN\u201903, pp. 25\u201334. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/1-84628-111-3_13","volume-title":"Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective","author":"R. Bloomfield","year":"2006","unstructured":"Bloomfield, R., Littlewood, B.: On the use of diverse arguments to increase confidence in dependability claims. In: Besnard, D., Gacek, C., Jones, C.B. (eds.) Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, pp. 254\u2013268. Springer, Heidelberg (2006)"},{"key":"4_CR6","volume-title":"Proceedings of the First International Conference on Software Engineering and Formal methods (SEFM\u201903)","author":"M. Carbone","year":"2003","unstructured":"Carbone, M., Nielsen, M., Sassone, V.: A formal model of trust in dynamic netwotks. In: Proceedings of the First International Conference on Software Engineering and Formal methods (SEFM\u201903), IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"4_CR7","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol.\u00a035. Oxford University Press, Oxford (1997)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/S0951-8320(96)00042-7","volume":"53","author":"I. Dassonville","year":"1996","unstructured":"Dassonville, I., Jolly, D., Desodt, A.M.: Trust between man and machine in a teleoperation system. Reliability Engineering & System Safety\u00a053, 319\u2013325 (1996)","journal-title":"Reliability Engineering & System Safety"},{"key":"4_CR9","unstructured":"Dixit, A.K., Nalebuff, B.J.: Thinking Strategically: The Competitive Edge in Business, Politics, and Everyday Life. W.W. Norton & Company (1991)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Douglas, M., Wildavsky, A.: Risk and Culture: An Essay on the Selection of Technological and Environmental Dangers. University of California Press (1982)","DOI":"10.1525\/9780520907393"},{"issue":"9-10","key":"4_CR11","first-page":"1","volume":"18","author":"J.H. Enders","year":"1999","unstructured":"Enders, J.H., Dodd, R.S., Fickeisen, F.: Continuing airworthiness risk evaluation (CARE): An exploratory study. Flight Safety Digest\u00a018(9-10), 1\u201351 (1999)","journal-title":"Flight Safety Digest"},{"key":"4_CR12","unstructured":"EUROCONTROL. Human Factor Module - Human Factors in the Development of Air Traffic Management Systems, 1.0 edn. (1998)"},{"key":"4_CR13","unstructured":"EUROCONTROL. EUROCONTROL Air Traffic Management Strategy for the years 2000+ (2003)"},{"key":"4_CR14","unstructured":"EUROCONTROL. Guidelines for Trust in Future ATM Systems: A Literature Review, 1.0 edn. (2003)"},{"key":"4_CR15","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"2003","unstructured":"Fagin, R., et al.: Reasoning about Knowledge. MIT Press, Cambridge (2003)"},{"key":"4_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-45547-7_4","volume-title":"Trust in Cyber-societies","author":"R. Falcone","year":"2001","unstructured":"Falcone, R., Castelfranchi, C.: The socio-cognitive dynamics of trust: Does trust create trust? In: Falcone, R., Singh, M., Tan, Y.-H. (eds.) AA-WS 2000. LNCS (LNAI), vol.\u00a02246, pp. 55\u201372. Springer, Heidelberg (2001)"},{"key":"4_CR17","unstructured":"Felici, M.: Capturing emerging complex interactions - safety analysis in atm. In: Johnson, C. (ed.) Proceedings of the 2nd Workshop on Complexity in Design and Engineering, GIST Technical Report G2005-1, pp. 120\u2013129 (2005)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/11563228_16","volume-title":"Computer Safety, Reliability, and Security","author":"M. Felici","year":"2005","unstructured":"Felici, M.: Evolutionary safety analysis: Motivations from the air traffic management domain. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol.\u00a03688, pp. 208\u2013221. Springer, Heidelberg (2005)"},{"issue":"12","key":"4_CR19","doi-asserted-by":"publisher","first-page":"1482","DOI":"10.1016\/j.ress.2006.01.010","volume":"91","author":"M. Felici","year":"2006","unstructured":"Felici, M.: Capturing emerging complex interactions: Safety analysis in air traffic management. Reliability Engineering & System Safety\u00a091(12), 1482\u20131493 (2006)","journal-title":"Reliability Engineering & System Safety"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11751113_7","volume-title":"Rapid Integration of Software Engineering Techniques","author":"M. Felici","year":"2006","unstructured":"Felici, M.: Modeling safety case evolution - examples from the air traffic management domain. In: Guelfi, N., Savidis, A. (eds.) RISE 2005. LNCS, vol.\u00a03943, pp. 81\u201396. Springer, Heidelberg (2006)"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/1-84628-111-3_3","volume-title":"Structure for Dependability: Computer-based Systems from an Interdisciplinary perspective","author":"M. Felici","year":"2006","unstructured":"Felici, M.: Structuring evolution: on the evolution of socio-technical systems. In: Besnard, D., Gacek, C., Jones, C.B. (eds.) Structure for Dependability: Computer-based Systems from an Interdisciplinary perspective, pp. 49\u201373. Springer, Heidelberg (2006)"},{"issue":"3","key":"4_CR22","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1109\/TEM.2003.817277","volume":"50","author":"D. Gefen","year":"2003","unstructured":"Gefen, D., Karahanna, E., Straub, D.W.: Inexperience and experience with online stores: The importance of tam and trust. IEEE Transactions on Engineering Management\u00a050(3), 307\u2013321 (2003)","journal-title":"IEEE Transactions on Engineering Management"},{"key":"4_CR23","volume-title":"Proceedings of the 36th Hawaii International Conference on Systems Sciences (HICSS\u201903)","author":"D. Gefen","year":"2003","unstructured":"Gefen, D., Rao, V.S., Tractinsky, N.: The conceptualization of trust, risk and their relationship in electronic commerce: The need for clarifications. In: Proceedings of the 36th Hawaii International Conference on Systems Sciences (HICSS\u201903), IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/j.omega.2004.01.006","volume":"32","author":"D. Gefen","year":"2004","unstructured":"Gefen, D., Straub, D.W.: Consumer trust in b2c e-commerce and the importance of social presence: experiments in e-products and e-services. Omega: The International Journal of Management Science\u00a032, 407\u2013424 (2004)","journal-title":"Omega: The International Journal of Management Science"},{"key":"4_CR25","unstructured":"Gigerenzer, G.: Reckoning with Risk: Learning to Live with Uncertainty. Penguin Books (2002)"},{"key":"4_CR26","volume-title":"Simple Heuristics That Make Us Smart","author":"G. Gigerenzer","year":"1999","unstructured":"Gigerenzer, G., Todd, P.M., The ABC\u00a0Research Group: Simple Heuristics That Make Us Smart. Oxford University Press, Oxford (1999)"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11563228_4","volume-title":"Computer Safety, Reliability, and Security","author":"M. Hall-May","year":"2005","unstructured":"Hall-May, M., Kelly, T.: Defining and decomposing safety policy for systems of systems. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol.\u00a03688, pp. 37\u201351. Springer, Heidelberg (2005)"},{"key":"4_CR28","volume-title":"Reasoning about Uncertainty","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y.: Reasoning about Uncertainty. MIT Press, Cambridge (2003)"},{"key":"4_CR29","volume-title":"Human Reliability Analysis: Context and Control","author":"E. Hollnagel","year":"1993","unstructured":"Hollnagel, E.: Human Reliability Analysis: Context and Control. Academic Press, London (1993)"},{"key":"4_CR30","volume-title":"Failure in Safety-Critical Systems: A Handbook of Accident and Incident Reporting","author":"C.W. Johnson","year":"2003","unstructured":"Johnson, C.W.: Failure in Safety-Critical Systems: A Handbook of Accident and Incident Reporting, October 2003. University of Glasgow Press, Glasgow (2003)"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/11429760_7","volume-title":"Trust Management","author":"A. Josang","year":"2005","unstructured":"Josang, A., Keser, C., Dimitrakos, T.: Can we manage trust? In: Herrmann, P., Issarny, V., Shiu, S.C.K. (eds.) iTrust 2005. LNCS, vol.\u00a03477, pp. 93\u2013107. Springer, Heidelberg (2005)"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/S0149-2063(01)00090-3","volume":"27","author":"E.C. Kasper-Fuehrer","year":"2001","unstructured":"Kasper-Fuehrer, E.C., Ashkanasy, N.M.: Building trus in cross-cultural collaborations: Toward a contingency perspective. Journal of Management\u00a027, 235\u2013254 (2001)","journal-title":"Journal of Management"},{"key":"4_CR33","unstructured":"Kuhn, S.: Prisoner\u2019s dilemma. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (2003), http:\/\/plato.stanford.edu\/archives\/fall2003\/entries\/prisoner-dilemma\/"},{"key":"4_CR34","volume-title":"SAFEWARE: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: SAFEWARE: System Safety and Computers. Addison-Wesley, Reading (1995)"},{"key":"4_CR35","first-page":"95","volume":"46","author":"B. Littlewood","year":"1995","unstructured":"Littlewood, B., Neil, M., Ostrolenk, G.: The role of models in managing the uncertainty of software-intensive systems. Reliability Engineering & System Safety\u00a046, 95\u201397 (1995)","journal-title":"Reliability Engineering & System Safety"},{"issue":"5","key":"4_CR36","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1177\/014920630202800506","volume":"28","author":"Y. Luo","year":"2002","unstructured":"Luo, Y.: Building trust in cross-cultural collaborations: Toward a contingency perspective. Journal of Management\u00a028(5), 669\u2013694 (2002)","journal-title":"Journal of Management"},{"key":"4_CR37","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1068\/d317t","volume":"22","author":"D. MacKenzie","year":"2004","unstructured":"MacKenzie, D.: Social connectivities in global finalcial markets. Environment and Planning D: Society and Space\u00a022, 83\u2013101 (2004)","journal-title":"Environment and Planning D: Society and Space"},{"issue":"11","key":"4_CR38","first-page":"1","volume":"21","author":"S. Matthews","year":"2002","unstructured":"Matthews, S.: Future developments and challenges in aviation safety. Flight Safety Digest\u00a021(11), 1\u201312 (2002)","journal-title":"Flight Safety Digest"},{"key":"4_CR39","unstructured":"McKnight, D.H., Chervany, N.L.: The meanings of trust. Technical Report 96-04, University of Minnesota (1996)"},{"key":"4_CR40","first-page":"1","volume-title":"Proceedings of the 34th Hawaii International Conference on System Sciences","author":"D.H. McKnight","year":"2001","unstructured":"McKnight, D.H., Chervany, N.L.: Conceptualizing trust: A typology and e-commerce customer relationships model. In: Proceedings of the 34th Hawaii International Conference on System Sciences, pp. 1\u20139. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"4_CR41","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-45547-7_3","volume-title":"Trust in Cyber-societies","author":"D.H. McKnight","year":"2001","unstructured":"McKnight, D.H., Chervany, N.L.: Trust and distrust definitions: One bite at a time. In: Falcone, R., Singh, M., Tan, Y.-H. (eds.) AA-WS 2000. LNCS (LNAI), vol.\u00a02246, pp. 27\u201354. Springer, Heidelberg (2001)"},{"key":"4_CR42","unstructured":"McKnight, D.H., Cummings, L.L., Chervany, N.L.: Trust formation in new organizational relationships. Technical Report 96-01, University of Minnesota (1996)"},{"key":"4_CR43","first-page":"183","volume-title":"Expertise and Technology: Cognition & Human-Computer Cooperation","author":"N. Moray","year":"1995","unstructured":"Moray, N., et al.: Trust and human intervention in automated systems. In: Hoc, J.-M., Cacciabue, P.C., Hollnagel, E. (eds.) Expertise and Technology: Cognition & Human-Computer Cooperation, pp. 183\u2013194. Lawrence Erlbaum, Mahwah (1995)"},{"key":"4_CR44","unstructured":"Nalebuff, B.J., Brandenburger, A.M.: Co-opetition. HarperCollinsBusiness (1996)"},{"key":"4_CR45","volume-title":"Proceedings of PPDP\u201903","author":"M. Nielsen","year":"2003","unstructured":"Nielsen, M., Krukow, K.: Towards a formal notion of trust. In: Proceedings of PPDP\u201903, ACM Press, New York (2003)"},{"key":"4_CR46","unstructured":"Norman, D.A.: Emotional Design: Why We Love (or Hate) Everyday Things. Basic Books (2004)"},{"issue":"3","key":"4_CR47","first-page":"1","volume":"14","author":"M. Overall","year":"1995","unstructured":"Overall, M.: New pressures on aviation safety challenge safety management systems. Flight Safety Digest\u00a014(3), 1\u20136 (1995)","journal-title":"Flight Safety Digest"},{"issue":"4","key":"4_CR48","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/24.983391","volume":"50","author":"A. Pasquini","year":"2001","unstructured":"Pasquini, A., Pistolesi, G., Rizzo, A.: Reliability analysis of systems based on software and human resources. IEEE Transactions on Reliability\u00a050(4), 337\u2013345 (2001)","journal-title":"IEEE Transactions on Reliability"},{"key":"4_CR49","volume-title":"Proceedings of the 36th Hawaii International Conference on Systems Sciences (HICSS\u201903)","author":"P.A. Pavlou","year":"2003","unstructured":"Pavlou, P.A., Tan, Y.-H., Gefen, D.: The transitional role of institutial trust in online interorganizational relationships. In: Proceedings of the 36th Hawaii International Conference on Systems Sciences (HICSS\u201903), IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"4_CR50","volume-title":"Normal Accidents: Living with High-Risk Technologies","author":"C. Perrow","year":"1999","unstructured":"Perrow, C.: Normal Accidents: Living with High-Risk Technologies. Princeton University Press, Princeton (1999)"},{"key":"4_CR51","unstructured":"Rasmusen, E.: Games and Information: An Introduction to Game Theory, 2nd edn. Blackwell (1989)"},{"key":"4_CR52","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1016\/S1071-5819(03)00042-9","volume":"58","author":"J. Riegelsberger","year":"2003","unstructured":"Riegelsberger, J., Sasse, M.A., McCarthy, J.D.: The researcher\u2019s dilemma: evaluating trust in computer-mediated communication. International Journal of Human-Computer Studies\u00a058, 759\u2013781 (2003)","journal-title":"International Journal of Human-Computer Studies"},{"key":"4_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/11429760_6","volume-title":"Trust Management","author":"S. Ruohomaa","year":"2005","unstructured":"Ruohomaa, S., Kutvonen, L.: Trust management survey. In: Herrmann, P., Issarny, V., Shiu, S.C.K. (eds.) iTrust 2005. LNCS, vol.\u00a03477, pp. 77\u201392. Springer, Heidelberg (2005)"},{"key":"4_CR54","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0951-8320(02)00005-4","volume":"76","author":"J.N. Sorensen","year":"2002","unstructured":"Sorensen, J.N.: Safety culture: a survey of the state-of-the-art. Reliability Engineering & System Safety\u00a076, 189\u2013204 (2002)","journal-title":"Reliability Engineering & System Safety"},{"key":"4_CR55","volume-title":"Safety-Critical Computer Systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, Reading (1996)"},{"issue":"3","key":"4_CR56","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.ergon.2004.03.005","volume":"34","author":"A. Uggirala","year":"2004","unstructured":"Uggirala, A., et al.: Measurement of trust in complex and dynamic systems using a quantitative approach. International Journal of Industrial Ergonomics\u00a034(3), 175\u2013186 (2004)","journal-title":"International Journal of Industrial Ergonomics"},{"key":"4_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/978-3-540-30475-3_30","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"A. Uszok","year":"2004","unstructured":"Uszok, A., et al.: Applying KAoS services to ensure policy compliance for semantic web services workflow composition and enactment. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 425\u2013440. Springer, Heidelberg (2004)"},{"key":"4_CR58","first-page":"32","volume-title":"IEEE Intelligent Systems","author":"A. Uszok","year":"2004","unstructured":"Uszok, A., et al.: KAoS policy management for semantic web services. In: IEEE Intelligent Systems, July\/August 2004, pp. 32\u201341. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"4_CR59","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/3-540-45547-7_11","volume-title":"Trust in Cyber-societies","author":"E. Yu","year":"2001","unstructured":"Yu, E., Liu, L.: Modelling trust for system design using the i * strategic actors framework. In: Falcone, R., Singh, M., Tan, Y.-H. (eds.) AA-WS 2000. LNCS (LNAI), vol.\u00a02246, pp. 175\u2013194. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Rapid Integration of Software Engineering Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71876-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T16:53:38Z","timestamp":1707929618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71876-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540718758","9783540718765"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71876-5_4","relation":{},"subject":[]}}