{"id":"https://openalex.org/W1972755283","doi":"https://doi.org/10.1109/ret.2014.6908674","title":"Verifying security requirements using model checking technique for UML-based requirements specification","display_name":"Verifying security requirements using model checking technique for UML-based requirements specification","publication_year":2014,"publication_date":"2014-08-01","ids":{"openalex":"https://openalex.org/W1972755283","doi":"https://doi.org/10.1109/ret.2014.6908674","mag":"1972755283"},"language":"en","primary_location":{"id":"doi:10.1109/ret.2014.6908674","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ret.2014.6908674","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003285217","display_name":"Yoshitaka Aoki","orcid":"https://orcid.org/0000-0002-3750-4160"},"institutions":[{"id":"https://openalex.org/I171481255","display_name":"Shibaura Institute of Technology","ror":"https://ror.org/020wjcq07","country_code":"JP","type":"education","lineage":["https://openalex.org/I171481255"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoshitaka Aoki","raw_affiliation_strings":["Graduate School of Engineering and Science, Shibaura Institute of Technology, Saitama, Japan","Graduate School of Engineering and Science, Shibaura Institute of Technology, 307 Fukasaku, Minuma-ku, Saitama-City, 337-8570, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Engineering and Science, Shibaura Institute of Technology, Saitama, Japan","institution_ids":["https://openalex.org/I171481255"]},{"raw_affiliation_string":"Graduate School of Engineering and Science, Shibaura Institute of Technology, 307 Fukasaku, Minuma-ku, Saitama-City, 337-8570, Japan","institution_ids":["https://openalex.org/I171481255"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102255244","display_name":"Saeko Matsuura","orcid":null},"institutions":[{"id":"https://openalex.org/I171481255","display_name":"Shibaura Institute of Technology","ror":"https://ror.org/020wjcq07","country_code":"JP","type":"education","lineage":["https://openalex.org/I171481255"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Saeko Matsuura","raw_affiliation_strings":["Graduate School of Engineering and Science, Shibaura Institute of Technology, Saitama, Japan","Graduate School of Engineering and Science, Shibaura Institute of Technology, 307 Fukasaku, Minuma-ku, Saitama-City, 337-8570, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Engineering and Science, Shibaura Institute of Technology, Saitama, Japan","institution_ids":["https://openalex.org/I171481255"]},{"raw_affiliation_string":"Graduate School of Engineering and Science, Shibaura Institute of Technology, 307 Fukasaku, Minuma-ku, Saitama-City, 337-8570, Japan","institution_ids":["https://openalex.org/I171481255"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6408,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.87640178,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"22","issue":null,"first_page":"18","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9994999766349792,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.9987999796867371,"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.7972596287727356},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.607113242149353},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.576545000076294},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.5228222608566284},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.5137801766395569},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4912506937980652},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.486335813999176},{"id":"https://openalex.org/keywords/functional-requirement","display_name":"Functional requirement","score":0.48514971137046814},{"id":"https://openalex.org/keywords/non-functional-requirement","display_name":"Non-functional requirement","score":0.4738626480102539},{"id":"https://openalex.org/keywords/requirements-elicitation","display_name":"Requirements elicitation","score":0.42770156264305115},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.41001439094543457},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3658444881439209},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.30207574367523193},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.25994396209716797},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.2328512966632843},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.1308777630329132}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7972596287727356},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.607113242149353},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.576545000076294},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.5228222608566284},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.5137801766395569},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4912506937980652},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.486335813999176},{"id":"https://openalex.org/C62235348","wikidata":"https://www.wikidata.org/wiki/Q3264234","display_name":"Functional requirement","level":2,"score":0.48514971137046814},{"id":"https://openalex.org/C199747065","wikidata":"https://www.wikidata.org/wiki/Q3254666","display_name":"Non-functional requirement","level":5,"score":0.4738626480102539},{"id":"https://openalex.org/C45384764","wikidata":"https://www.wikidata.org/wiki/Q838667","display_name":"Requirements elicitation","level":4,"score":0.42770156264305115},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.41001439094543457},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3658444881439209},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.30207574367523193},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.25994396209716797},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.2328512966632843},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.1308777630329132}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ret.2014.6908674","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ret.2014.6908674","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W317846459","https://openalex.org/W2006694880","https://openalex.org/W2102654996","https://openalex.org/W2122149060","https://openalex.org/W2151280810","https://openalex.org/W2398567539","https://openalex.org/W2563414390","https://openalex.org/W2601995711","https://openalex.org/W2745156229","https://openalex.org/W3161918289","https://openalex.org/W4241900800","https://openalex.org/W6611042907","https://openalex.org/W6682474827","https://openalex.org/W6712519807","https://openalex.org/W6730953235","https://openalex.org/W7015741733"],"related_works":["https://openalex.org/W3214821522","https://openalex.org/W2472769502","https://openalex.org/W4242476969","https://openalex.org/W2901540557","https://openalex.org/W2058107327","https://openalex.org/W2402056828","https://openalex.org/W4206496580","https://openalex.org/W2059726833","https://openalex.org/W1980019406","https://openalex.org/W2889387813"],"abstract_inverted_index":{"Use":[0],"case":[1],"analysis":[2,109],"is":[3],"known":[4],"to":[5,10,23,33,37,46,65],"be":[6,34],"an":[7],"effective":[8],"method":[9,64],"clarify":[11],"functional":[12,28],"requirements.":[13],"Security":[14],"requirements":[15,51,68,95,108,113],"such":[16],"as":[17],"access":[18],"or":[19],"information":[20],"control":[21],"tend":[22],"increase":[24],"the":[25,53,57,79,97,115,125,134],"complexity":[26],"of":[27,56,99,118],"requirements,":[29],"and":[30,83,124],"therefore,":[31],"need":[32],"correctly":[35,47],"implemented":[36],"minimize":[38],"risks.":[39],"However,":[40],"general":[41],"developers":[42,104],"find":[43],"it":[44],"difficult":[45],"specify":[48],"adequate":[49,93],"security":[50,67,86,94],"during":[52],"initial":[54],"phases":[55],"software":[58,119],"development":[59],"process.":[60],"We":[61],"propose":[62],"a":[63,100,130],"verify":[66,105],"whose":[69],"specifications":[70],"are":[71,127],"based":[72],"on":[73],"Unified":[74],"Modeling":[75],"Language":[76],"(UML)":[77],"using":[78],"model":[80,123,136],"checking":[81,137],"technique":[82],"Common":[84,88],"Criteria":[85,89],"knowledge.":[87],"assists":[90],"in":[91,96,114,133],"defining":[92],"form":[98],"table.":[101],"This":[102],"helps":[103],"whether":[106],"UML-based":[107],"models":[110],"meet":[111],"those":[112],"early":[116],"stages":[117],"development.":[120],"The":[121],"UML":[122],"table":[126],"transformed":[128],"into":[129],"finite":[131],"automaton":[132],"UPPAAL":[135],"tool.":[138]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}