{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:36:34Z","timestamp":1771025794047,"version":"3.50.1"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031409523","type":"print"},{"value":"9783031409530","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-40953-0_2","type":"book-chapter","created":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:02:08Z","timestamp":1694624528000},"page":"15-25","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Constructing Security Cases Based on Formal Verification of\u00a0Security Requirements in Alloy"],"prefix":"10.1007","author":[{"given":"Marwa","family":"Zeroual","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brahim","family":"Hamid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Morayo","family":"Adedjouma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Jaskolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,14]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","unstructured":"Altawy, R., Youssef, A.M.: Security, privacy, and safety aspects of civilian drones: a survey. ACM Trans. Cyber-Phys. Syst. 1(2), 1\u201325 (2016). https:\/\/doi.org\/10.1145\/3001836","DOI":"10.1145\/3001836"},{"issue":"5","key":"2_CR2","first-page":"21","volume":"4","author":"M Batra","year":"2013","unstructured":"Batra, M.: Formal methods: benefits, challenges and future direction. J. Global Res. Comput. Sci. 4(5), 21\u201325 (2013)","journal-title":"J. Global Res. Comput. Sci."},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s10009-022-00660-4","volume":"24","author":"MH ter Beek","year":"2022","unstructured":"ter Beek, M.H., Larsen, K.G., Ni\u010dkovi\u0107, D., Willemse, T.A.: Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transfer 24(3), 325\u2013330 (2022)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"6","key":"2_CR4","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/s00165-021-00537-4","volume":"33","author":"S Foster","year":"2021","unstructured":"Foster, S., Nemouchi, Y., Gleirscher, M., Wei, R., Kelly, T.: Integration of formal proof into unified assurance cases with Isabelle\/SACM. Formal Aspects Comput. 33(6), 855\u2013884 (2021)","journal-title":"Formal Aspects Comput."},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/2692956.2663177","volume":"34","author":"A Gacek","year":"2014","unstructured":"Gacek, A., Backes, J., Cofer, D., Slind, K., Whalen, M.: Resolute: an assurance case language for architecture models. ACM SIGAda Ada Lett. 34(3), 19\u201328 (2014)","journal-title":"ACM SIGAda Ada Lett."},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-13556-9_9","volume-title":"Architecting Critical Systems","author":"I Habli","year":"2010","unstructured":"Habli, I., Kelly, T.: A safety case approach to assuring configurable architectures of safety-critical product lines. In: Giese, H. (ed.) ISARCS 2010. LNCS, vol. 6150, pp. 142\u2013160. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13556-9_9"},{"key":"2_CR7","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT press, Cambridge (2012)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Manfredi, G., Jestin, Y.: An introduction to ACAS Xu and the challenges ahead. In: 2016 IEEE\/AIAA 35th Digital Avionics Systems Conference (DASC), pp. 1\u20139. IEEE (2016)","DOI":"10.1109\/DASC.2016.7778055"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"ben Othmane, L., Angin, P., Weffers, H., Bhargava, B.: Extending the agile development process to develop acceptably secure software. IEEE Trans. Depend. Secure Comput. 11(6), 497\u2013509 (2014)","DOI":"10.1109\/TDSC.2014.2298011"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Rouland, Q., Hamid, B., Bodeveix, J.P., Filali, M.: A formal methods approach to security requirements specification and verification. In: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 236\u2013241. IEEE (2019)","DOI":"10.1109\/ICECCS.2019.00033"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"102073","DOI":"10.1016\/j.sysarc.2021.102073","volume":"117","author":"Q Rouland","year":"2021","unstructured":"Rouland, Q., Hamid, B., Jaskolka, J.: Specification, detection, and treatment of stride threats for software components: modeling, formal methods, and tool support. J. Syst. Architect. 117, 102073 (2021)","journal-title":"J. Syst. Architect."},{"key":"2_CR12","unstructured":"Weinstock, C.B., Lipson, H.F., Goodenough, J.: Arguing security-creating security assurance cases. Carnegie Mellon University, Technical report (2007)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-40953-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:02:48Z","timestamp":1694624568000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-40953-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031409523","9783031409530"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-40953-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"14 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"42","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/safecomp2023.cnrs.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"100","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5.7","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"For the workshops, 35 out of 49 papers have been accepted","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}