{"id":"https://openalex.org/W2128362967","doi":"https://doi.org/10.1109/ssiri.2010.36","title":"Model-Based Argument Analysis for Evolving Security Requirements","display_name":"Model-Based Argument Analysis for Evolving Security Requirements","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2128362967","doi":"https://doi.org/10.1109/ssiri.2010.36","mag":"2128362967"},"language":"en","primary_location":{"id":"doi:10.1109/ssiri.2010.36","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ssiri.2010.36","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Fourth International Conference on Secure Software Integration and Reliability Improvement","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/3434837","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031843184","display_name":"Thein Than Tun","orcid":"https://orcid.org/0000-0002-2131-811X"},"institutions":[{"id":"https://openalex.org/I204136569","display_name":"The Open University","ror":"https://ror.org/05mzfcs16","country_code":"GB","type":"education","lineage":["https://openalex.org/I204136569"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Thein Than Tun","raw_affiliation_strings":["Department of Computing, Open University, Milton Keynes, UK","Dept. of Comput., Open Univ., Milton Keynes, , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Open University, Milton Keynes, UK","institution_ids":["https://openalex.org/I204136569"]},{"raw_affiliation_string":"Dept. of Comput., Open Univ., Milton Keynes, , UK","institution_ids":["https://openalex.org/I204136569"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002289161","display_name":"Yijun Yu","orcid":"https://orcid.org/0000-0002-7154-8570"},"institutions":[{"id":"https://openalex.org/I204136569","display_name":"The Open University","ror":"https://ror.org/05mzfcs16","country_code":"GB","type":"education","lineage":["https://openalex.org/I204136569"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Yijun Yu","raw_affiliation_strings":["Department of Computing, Open University, Milton Keynes, UK","Dept. of Comput., Open Univ., Milton Keynes, , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Open University, Milton Keynes, UK","institution_ids":["https://openalex.org/I204136569"]},{"raw_affiliation_string":"Dept. of Comput., Open Univ., Milton Keynes, , UK","institution_ids":["https://openalex.org/I204136569"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083738120","display_name":"Charles B. Haley","orcid":null},"institutions":[{"id":"https://openalex.org/I204136569","display_name":"The Open University","ror":"https://ror.org/05mzfcs16","country_code":"GB","type":"education","lineage":["https://openalex.org/I204136569"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Charles Haley","raw_affiliation_strings":["Department of Computing, Open University, Milton Keynes, UK","Dept. of Comput., Open Univ., Milton Keynes, , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Open University, Milton Keynes, UK","institution_ids":["https://openalex.org/I204136569"]},{"raw_affiliation_string":"Dept. of Comput., Open Univ., Milton Keynes, , UK","institution_ids":["https://openalex.org/I204136569"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060861082","display_name":"Bashar Nuseibeh","orcid":"https://orcid.org/0000-0002-3476-053X"},"institutions":[{"id":"https://openalex.org/I204136569","display_name":"The Open University","ror":"https://ror.org/05mzfcs16","country_code":"GB","type":"education","lineage":["https://openalex.org/I204136569"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Bashar Nuseibeh","raw_affiliation_strings":["Department of Computing, Open University, Milton Keynes, UK","Dept. of Comput., Open Univ., Milton Keynes, , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Open University, Milton Keynes, UK","institution_ids":["https://openalex.org/I204136569"]},{"raw_affiliation_string":"Dept. of Comput., Open Univ., Milton Keynes, , UK","institution_ids":["https://openalex.org/I204136569"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I204136569"],"apc_list":null,"apc_paid":null,"fwci":2.4522,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.90513928,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"3","issue":null,"first_page":"88","last_page":"97"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7296514511108398},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.6803843975067139},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.5251911878585815},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.48864108324050903},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.47104406356811523},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.43490540981292725},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10615092515945435}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7296514511108398},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.6803843975067139},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5251911878585815},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48864108324050903},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.47104406356811523},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.43490540981292725},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10615092515945435},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ssiri.2010.36","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ssiri.2010.36","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Fourth International Conference on Secure Software Integration and Reliability Improvement","raw_type":"proceedings-article"},{"id":"pmh:oai:zenodo.org:3434837","is_oa":true,"landing_page_url":"https://zenodo.org/record/3434837","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:3434837","is_oa":true,"landing_page_url":"https://zenodo.org/record/3434837","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W44713956","https://openalex.org/W85436509","https://openalex.org/W1498489270","https://openalex.org/W1515210918","https://openalex.org/W1522684812","https://openalex.org/W1548254758","https://openalex.org/W1548414908","https://openalex.org/W1551592336","https://openalex.org/W1561933830","https://openalex.org/W1624528677","https://openalex.org/W1852523103","https://openalex.org/W1858048186","https://openalex.org/W1864186126","https://openalex.org/W1888935765","https://openalex.org/W1998576645","https://openalex.org/W2001907377","https://openalex.org/W2006034650","https://openalex.org/W2010954288","https://openalex.org/W2024128119","https://openalex.org/W2041743477","https://openalex.org/W2050211807","https://openalex.org/W2053316513","https://openalex.org/W2073492608","https://openalex.org/W2082434633","https://openalex.org/W2088955355","https://openalex.org/W2095656719","https://openalex.org/W2097154968","https://openalex.org/W2116693957","https://openalex.org/W2125682153","https://openalex.org/W2131730994","https://openalex.org/W2133961160","https://openalex.org/W2142953387","https://openalex.org/W2150414699","https://openalex.org/W2160651569","https://openalex.org/W2162686404","https://openalex.org/W2163851590","https://openalex.org/W2172151408","https://openalex.org/W2225813626","https://openalex.org/W2571737579","https://openalex.org/W2610257307","https://openalex.org/W2899987233","https://openalex.org/W4229680087","https://openalex.org/W4253669516","https://openalex.org/W6601772052","https://openalex.org/W6631347391","https://openalex.org/W6632648352","https://openalex.org/W6636715844","https://openalex.org/W6638832028","https://openalex.org/W6682607467","https://openalex.org/W6732077479"],"related_works":["https://openalex.org/W2511305084","https://openalex.org/W2046435924","https://openalex.org/W2077815492","https://openalex.org/W3036391810","https://openalex.org/W3123591583","https://openalex.org/W2162270815","https://openalex.org/W3125673773","https://openalex.org/W4255801263","https://openalex.org/W3200619217","https://openalex.org/W2373713487"],"abstract_inverted_index":{"Software":[0],"systems":[1,17],"are":[2],"made":[3],"to":[4,8,22,27,38,91,112],"evolve":[5],"in":[6,10,25],"response":[7],"changes":[9,32,41],"their":[11],"contexts":[12],"and":[13,59],"requirements.":[14],"As":[15],"the":[16,29,34,68,80,105],"evolve,":[18],"security":[19,48,56],"concerns":[20],"need":[21],"be":[23,71],"analysed":[24],"order":[26],"evaluate":[28],"impact":[30],"of":[31,46,76,104],"on":[33,52],"systems.":[35],"We":[36,108],"propose":[37],"investigate":[39],"such":[40],"by":[42,95],"applying":[43],"a":[44,74,87,96],"meta-model":[45,69],"evolving":[47,106],"requirements,":[49],"which":[50,98],"draws":[51],"requirements":[53],"engineering":[54],"approaches,":[55],"analysis,":[57,93],"argumentation":[58],"software":[60],"evolution.":[61],"In":[62],"this":[63],"paper,":[64],"we":[65],"show":[66],"how":[67],"can":[70],"instantiated":[72],"using":[73],"formalism":[75],"temporal":[77],"logic,":[78],"called":[79],"Event":[81],"Calculus.":[82],"The":[83],"main":[84],"contribution":[85],"is":[86],"model":[88],"based":[89],"approach":[90,111],"argument":[92],"supported":[94],"tool":[97],"generates":[99],"templates":[100],"for":[101],"formal":[102],"descriptions":[103],"system.":[107],"apply":[109],"our":[110],"several":[113],"examples":[114],"from":[115],"an":[116],"Air":[117],"Traffic":[118],"Management":[119],"case":[120],"study.":[121]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}