{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T04:19:05Z","timestamp":1752985145192,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T00:00:00Z","timestamp":1554681600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"DGA"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,8]]},"DOI":"10.1145\/3297280.3297437","type":"proceedings-article","created":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:18:47Z","timestamp":1556713127000},"page":"1610-1619","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Logic-based methodology to help security architects in eliciting high-level network security requirements"],"prefix":"10.1145","author":[{"given":"Romain","family":"Laborde","sequence":"first","affiliation":[{"name":"University Paul Sabatier, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sravani Teja","family":"Bulusu","sequence":"additional","affiliation":[{"name":"University Paul Sabatier, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmad Samer","family":"Wazan","sequence":"additional","affiliation":[{"name":"University Paul Sabatier, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Barr\u00e8re","sequence":"additional","affiliation":[{"name":"University Paul Sabatier, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelmalek","family":"Benzekri","sequence":"additional","affiliation":[{"name":"University Paul Sabatier, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1373319"},{"key":"e_1_3_2_1_2_1","unstructured":"ANSSI. 2017. Sensibilisation et initiation \u00e0 la cybers\u00e9curit\u00e9. In Module 4 : La gestion de la cybers\u00e9curit\u00e9 au sein d'une organisation. Retrieved from https:\/\/www.ssi.gouv.fr\/uploads\/2016\/05\/cyberedu_module_4_cybersecurite_organisation_02_2017.pdf"},{"key":"e_1_3_2_1_3_1","unstructured":"Kenneth J. Biba. 1977. Integrity considerations for secure computer systems. DTIC"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041619.2041625"},{"key":"e_1_3_2_1_5_1","volume-title":"International Conference on Risks and Security of Internet and Systems, 60--74","author":"Bulusu Sravani Teja","year":"2016","unstructured":"Sravani Teja Bulusu, Romain Laborde, Ahmad Samer Wazan, Fran\u00e7ois Barr\u00e8re, and Abdelmalek Benzekri. 2016. Towards the weaving of the characteristics of good security requirements. In International Conference on Risks and Security of Internet and Systems, 60--74."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098954.3098996"},{"key":"e_1_3_2_1_7_1","volume-title":"Francois Barr\u00e8re, and Abdelmalek Benzekri.","author":"Bulusu Sravani Teja","year":"2018","unstructured":"Sravani Teja Bulusu, Romain Laborde, Ahmad Samer Wazan, Francois Barr\u00e8re, and Abdelmalek Benzekri. 2018. A Requirements Engineering-Based Approach for Evaluating Security Requirements Engineering Methodologies. In Information Technology - New Generations (Advances in Intelligent Systems and Computing), 517--525."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167417"},{"volume-title":"Security and Privacy, 1987 IEEE Symposium on, 184--184","author":"David","key":"e_1_3_2_1_9_1","unstructured":"David D. Clark and David R. Wilson. 1987. A comparison of commercial and military computer security policies. In Security and Privacy, 1987 IEEE Symposium on, 184--184."},{"key":"e_1_3_2_1_10_1","unstructured":"CSEC. 2007. Baseline Security Requirements for Network Security Zones in the Government of Canada."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2904057"},{"key":"e_1_3_2_1_12_1","volume-title":"ICNS 2012, The Eighth International Conference on Networking and Services, 20--27","author":"Khoury Hicham El","year":"2012","unstructured":"Hicham El Khoury, Romain Laborde, Fran\u00e7ois Barr\u00e8re, Maroun Chamoun, and Abdelmalek Benzekri. 2012. A Formal Data Flow-Oriented Model For Distributed Network Security Conflicts Detection. In ICNS 2012, The Eighth International Conference on Networking and Services, 20--27."},{"key":"e_1_3_2_1_13_1","unstructured":"EUROCONTROL. 2018. Specification for Data Assurance Levels. EUROPEAN ORGANISATION FOR THE SAFETY OF AIR NAVIGATION. Retrieved from https:\/\/www.eurocontrol.int\/sites\/default\/files\/content\/documents\/single-sky\/specifications\/EUROCONTROL%20DAL%20Specification%20Ed%201.1_Released%20Issue.pdf"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2430675"},{"key":"e_1_3_2_1_15_1","volume-title":"Preliminary report. arXiv preprint arXiv:1405.3694","author":"Gebser Martin","year":"2014","unstructured":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. 2014. Clingo= ASP+ control: Preliminary report. arXiv preprint arXiv:1405.3694 (2014)."},{"key":"e_1_3_2_1_16_1","first-page":"38","article-title":"Blueprint for Cyber Security Zone Modeling","volume":"3","author":"Gontarczyk Andrew","year":"2015","unstructured":"Andrew Gontarczyk, Phil McMillan, and Chris Pavlovski. 2015. Blueprint for Cyber Security Zone Modeling. INFORMATION TECHNOLOGY IN INDUSTRY 3, 2 (2015), 38--45.","journal-title":"INFORMATION TECHNOLOGY IN INDUSTRY"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2014.2382574"},{"key":"e_1_3_2_1_18_1","unstructured":"ITU-T. 2012. User Requirements Notation (URN) - Language definition."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2499986.2499995"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-007-9063-z"},{"key":"e_1_3_2_1_21_1","unstructured":"C. Lyons. 2012. Enterprise IT security architecture security zones: Network security zone standards. Retrieved from https:\/\/www2.gov.bc.ca\/assets\/gov\/government\/services-for-government-and-broader-public-sector\/information-technology-services\/standards-files\/network_security_zone_standards.pdf"},{"volume-title":"Retrieved","year":"2018","key":"e_1_3_2_1_22_1","unstructured":"Microsoft. What is the Windows Integrity Mechanism? Retrieved September 23, 2018 from https:\/\/msdn.microsoft.com\/fr-FR\/library\/bb625957.aspx"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2017.8170783"},{"key":"e_1_3_2_1_24_1","unstructured":"PRICE. 2015. True Planning guidance for estimating the cost impacts of ARP-4754 DO-254 and DO-178b\/c certification. Retrieved from https:\/\/www.pricesystems.com\/Portals\/1\/Blog\/02-05-15-A\/DO-178bc%20and%20DO-254%20TP%20Modeling%20Guidance%20-%20DRAFT.pdf"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1972422.1972434"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9939"},{"key":"e_1_3_2_1_27_1","unstructured":"SecurArc. Logical Security Zone Pattern. Retrieved from http:\/\/www.securearc.com\/wiki\/index.php\/Logical_Security_Zone_Pattern"},{"key":"e_1_3_2_1_28_1","unstructured":"Adam Sedgewick. 2014. Framework for improving critical infrastructure cybersecurity version 1.0."},{"key":"e_1_3_2_1_29_1","unstructured":"Umesh Shankar Trent Jaeger and Reiner Sailer. 2006. Toward Automated Information-Flow Integrity Verification for Security-Critical Applications. In NDSS."}],"event":{"name":"SAC '19: The 34th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Limassol Cyprus","acronym":"SAC '19"},"container-title":["Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3297280.3297437","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3297280.3297437","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3297280.3297437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:16Z","timestamp":1750208536000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3297280.3297437"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,8]]},"references-count":29,"alternative-id":["10.1145\/3297280.3297437","10.1145\/3297280"],"URL":"https:\/\/doi.org\/10.1145\/3297280.3297437","relation":{},"subject":[],"published":{"date-parts":[[2019,4,8]]},"assertion":[{"value":"2019-04-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}