{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:08:22Z","timestamp":1725530902567},"publisher-location":"Boston, MA","reference-count":23,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387887746"},{"type":"electronic","value":"9780387887753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-88775-3_20","type":"book-chapter","created":{"date-parts":[[2009,4,18]],"date-time":"2009-04-18T17:55:18Z","timestamp":1240077318000},"page":"359-378","source":"Crossref","is-referenced-by-count":0,"title":["SERENITY in Air Traffic Management"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Felici","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentino","family":"Meduri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Tedeschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Riccucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,3,31]]},"reference":[{"key":"20_CR1_20","doi-asserted-by":"crossref","unstructured":"Asnar Y, Giorgini P, Massacci F, Saidane A, Bonato R, Meduri V, Riccucci C (2007) Secure and dependable patterns in organizations: An empirical approach. In: Proceedings of the IEEE 15th International Conference on Requirements Engineering, RE'07, IEEE Computer Society, pp 287-292","DOI":"10.1109\/RE.2007.19"},{"issue":"1","key":"20_CR2_20","first-page":"11","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie JC, Randell B, Landwehr CE (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE TDSC 1(1):11-33","journal-title":"IEEE TDSC"},{"key":"20_CR3_20","doi-asserted-by":"crossref","unstructured":"Bentley R, et al (1992) Ethnographically-Informed Systems Design for Air Traffic Control. In: Proceedings of CSCW, ACM, pp 123-129","DOI":"10.1145\/143457.143470"},{"key":"20_CR4_20","unstructured":"EUROCONTROL (2007) European Operational Concept Validation Methodology (E-OCVM). EUROCONTROL, 2nd edn"},{"key":"20_CR5_20","unstructured":"Gamma E, et al (1995) Design Patters: Elements of Reusable Object-Oriented Software. Addison-Wesley"},{"key":"20_CR6_20","doi-asserted-by":"crossref","unstructured":"Giacomo VD, Felici M, Meduri V, Presenza D, Riccucci C, Tedeschi A (2008) Using security and dependability patterns for reaction processes. In: Proceedings of the 19th International Conference on Database and Expert Systems Application, DEXA '08, IEEE Computer Society, pp 315-319","DOI":"10.1109\/DEXA.2008.102"},{"key":"20_CR7_20","doi-asserted-by":"crossref","unstructured":"Giorgini P, Massacci F, Mylopoulos J, Zannone N (2005) Modeling security requirements through ownership, permission and delegation. In: Proc. of RE'05, IEEE CS Press, pp 167-176","DOI":"10.1109\/RE.2005.43"},{"key":"20_CR8_20","unstructured":"Halverson CA, Ackerman MS (2008) The Bird of an Organizational Resource: The Surprising Life of a Cheat Sheet. In: Ackerman MS, et al (eds) Resources, Co-Evolution and Artifacts, CSCW, Springer-Verlag, chap 1"},{"key":"20_CR9_20","doi-asserted-by":"crossref","unstructured":"Halverson CA, et al (1992) A Systems Approach to Design: Developing a Usable Automation Tool for Air Traffic Control. In: Proceedings of the IEEE\/AIAA 11th Conference on Digital Avionics Systems, pp 167-173","DOI":"10.1109\/DASC.1992.282165"},{"key":"20_CR10_20","unstructured":"ICAO (2005) Global Air Traffic Management Operational Concept. International Civil Aviation Organization (ICAO)"},{"key":"20_CR11_20","unstructured":"ISTAG (2002) Trust, dependability, security and privacy for IST in FP6. ISTAG - IST Advisory Group"},{"key":"20_CR12_20","unstructured":"ISTAG (2003) Ambient Intelligence: from vision to reality. ISTAG - IST Advisory Group"},{"key":"20_CR13_20","unstructured":"Lanzi P, Marti P, Pozzi S, Scrivani P (2004) Users as cultural mediators in interactive system design. In: Reed D, Baxter G, Blythe M (eds) Living and Working with Technology, Proceedings of the twelfth European conference on cognitive ergonomics, ECCE12"},{"key":"20_CR14_20","doi-asserted-by":"crossref","unstructured":"Liu L, Yu E, Mylopoulos J (2003) Security and privacy requirements analysis within a social setting. In: Proc. of RE'03, pp 151-161","DOI":"10.1109\/ICRE.2003.1232746"},{"issue":"1","key":"20_CR15_20","first-page":"32","volume":"8","author":"P Marti","year":"2003","unstructured":"Marti P, Scrivani P (2003) The representation of context in the simulation of complex systems. Cognitive Technologies Journal 8(1):32-42","journal-title":"Cognitive Technologies Journal"},{"key":"20_CR16_20","unstructured":"Marti P, Lanzi P, Pucci F (2001) Evaluating safety and usability of atm systems. In: Proceedings of the 4th International seminar on ATM R&D, FAA and Eurocontrol"},{"issue":"1","key":"20_CR17_20","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/972648.972651","volume":"11","author":"D Martin","year":"2004","unstructured":"Martin D, Sommerville I (2004) Patterns of cooperative interaction: Linking ethnomethodology and design. ACM Transactions on Computer-Human Interaction 11(1):59-89","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"20_CR18_20","doi-asserted-by":"crossref","unstructured":"Maulsby D, Greenberg S, Mander R (1993) Prototyping an Intelligent Agent through Wizard of Oz. In: Proceedings of INTERCHI'93, ACM, pp 277-284","DOI":"10.1145\/169059.169215"},{"key":"20_CR19_20","unstructured":"Saidane A (2007) Serenity: A generic framework for dependability construction - a patterns oriented approach. In: Butler M, Jones CB, Romanovsky A, Troubitsyna E (eds) Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance, School of Computing Science, University of Newcastle upon Tyne, no. CS-TR-1032 in Technical Report Series, pp 111-117"},{"key":"20_CR20_20","unstructured":"Schmidt D (2000) Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, vol 2. John Wiley & Sons"},{"key":"20_CR21_20","unstructured":"Schumacher M, et al (2006) Security Patterns: Integrating Security and Systems Engineering. John Wiley & Sons"},{"key":"20_CR22_20","unstructured":"Shalloway A, Trott JR (2005) Design Patterns: A New Perspective on Object-Oriented Design, 2nd edn. Addison-Wesley"},{"key":"20_CR23_20","unstructured":"Sheridan TB (2002) Humans and Automation: System Design and Research Issues. Wiley"}],"container-title":["Advances in Information Security","Security and Dependability for Ambient Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-88775-3_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T04:28:49Z","timestamp":1619670529000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-88775-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387887746","9780387887753"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-88775-3_20","relation":{},"ISSN":["1568-2633"],"issn-type":[{"type":"print","value":"1568-2633"}],"subject":[],"published":{"date-parts":[[2009]]}}}