{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T04:02:11Z","timestamp":1787716931725,"version":"build-2784847793"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642044670","type":"print"},{"value":"9783642044687","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04468-7_25","type":"book-chapter","created":{"date-parts":[[2009,9,2]],"date-time":"2009-09-02T01:26:35Z","timestamp":1251854795000},"page":"311-325","source":"Crossref","is-referenced-by-count":17,"title":["A Foundation for Requirements Analysis of Dependable Software"],"prefix":"10.1007","author":[{"given":"Denis","family":"Hatebur","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Common Criteria for Information Technology Security Evaluation, Version 3.1 (September 2006), http:\/\/www.commoncriteriaportal.org\/public\/expert\/"},{"issue":"1","key":"25_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randall, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004), http:\/\/se2c.uni.lu\/tiki\/se2c-bib_download.php?id=2433","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"25_CR3","unstructured":"C\u00f4t\u00e9, I., Hatebur, D., Heisel, M., Schmidt, H., Wentzlaff, I.: A systematic account of problem frames. In: Proceedings of the European Conference on Pattern Languages of Programs (EuroPLoP 2007). Universit\u00e4tsverlag Konstanz (2008)"},{"key":"25_CR4","unstructured":"Courtois, P.-J.: Safety, reliability and software based systems requirements. In: Contribution to the UK ACSNI Report of the Study Group on the safety of Operational Computer Systems (June 1997)"},{"key":"25_CR5","unstructured":"G\u00fcrses, S., Jahnke, J.H., Obry, C., Onabajo, A., Santen, T., Price, M.: Eliciting confidentiality requirements in practice. In: CASCON 2005: Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research, pp. 101\u2013116. IBM Press (2005)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Hatebur, D., Heisel, M.: A foundation for requirements analysis of dependable software (technical report). Technical report, Universit\u00e4t Duisburg-Essen (2009), http:\/\/swe.uni-due.de\/techrep\/founddep.pdf","DOI":"10.1007\/978-3-642-04468-7_25"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/11766155_17","volume-title":"Emerging Trends in Information and Communication Security","author":"D. Hatebur","year":"2006","unstructured":"Hatebur, D., Heisel, M., Schmidt, H.: Security engineering using problem frames. In: M\u00fcller, G. (ed.) ETRICS 2006. LNCS, vol.\u00a03995, pp. 238\u2013253. Springer, Heidelberg (2006)"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/ARES.2007.12","volume-title":"Proceedings of the International Conference on Availability, Reliability and Security (AReS), IEEE Transactions","author":"D. Hatebur","year":"2007","unstructured":"Hatebur, D., Heisel, M., Schmidt, H.: A pattern system for security requirements engineering. In: Werner, B. (ed.) Proceedings of the International Conference on Availability, Reliability and Security (AReS), IEEE Transactions, pp. 356\u2013365. IEEE, Los Alamitos (2007)"},{"key":"25_CR9","first-page":"195","volume-title":"Proceedings of the International Conference on Availability, Reliability and Security (AReS), IEEE Transactions","author":"D. Hatebur","year":"2008","unstructured":"Hatebur, D., Heisel, M., Schmidt, H.: Analysis and component-based realization of security requirements. In: Proceedings of the International Conference on Availability, Reliability and Security (AReS), IEEE Transactions, pp. 195\u2013203. IEEE, Los Alamitos (2008)"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-87875-9_5","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Hatebur","year":"2008","unstructured":"Hatebur, D., Heisel, M., Schmidt, H.: A formal metamodel for problem frames. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 68\u201382. Springer, Heidelberg (2008)"},{"key":"25_CR11","unstructured":"International Electrotechnical Commission IEC. Functional safety of electrical\/electronic\/programmable electronic safty-relevant systems (2000)"},{"key":"25_CR12","volume-title":"Problem Frames. Analyzing and structuring software development problems","author":"M. Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, Reading (2001)"},{"key":"25_CR13","first-page":"15","volume-title":"Proceedings 17th Int. Conf. on Software Engineering","author":"M. Jackson","year":"1995","unstructured":"Jackson, M., Zave, P.: Deriving specifications from requirements: an example. In: Proceedings 17th Int. Conf. on Software Engineering, Seattle, USA, pp. 15\u201324. ACM Press, New York (1995)"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Laprie, J.-C.: Dependability computing and fault tolerance: Concepts and terminology. Fault-Tolerant Computing \u2013 Highlights from Twenty-Five Years, 2\u201313 (June 1995), http:\/\/lion.ee.ntu.edu.tw\/Class\/FTDS_2008\/Laprie-Definitions.pdf","DOI":"10.1109\/FTCSH.1995.532603"},{"key":"25_CR15","unstructured":"Pfitzmann, A., Hansen, M.: Anonymity, unlinkability, unobservability, pseudonymity, and identity management - a consolidated proposal for terminology. Technical report, TU Dresden and ULD Kiel, 5 (2006), http:\/\/dud.inf.tu-dresden.de\/Anon_Terminology.shtml"},{"key":"25_CR16","volume-title":"Safety Assessment and Management - PSAM 8, Eighth International Conference on Probabilistic","author":"L. R\u00f8stad","year":"2006","unstructured":"R\u00f8stad, L., T\u00f8ndel, I.A., Line, M.B., Nordland, O.: Safety vs. security. In: Stamatelatos, M.G., Blackman, H.S. (eds.) Safety Assessment and Management - PSAM 8, Eighth International Conference on Probabilistic. ASME Press, New York (2006)"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/11875567_11","volume-title":"Computer Safety, Reliability, and Security","author":"T. Santen","year":"2006","unstructured":"Santen, T.: Stepwise development of secure systems. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 142\u2013155. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04468-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T23:12:01Z","timestamp":1739315521000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04468-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044670","9783642044687"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04468-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}