{"id":"https:\/\/openalex.org\/W2018644264","doi":"https:\/\/doi.org\/10.1109\/ares.2013.13","title":"Validating Security Design Patterns Application Using Model Testing","display_name":"Validating Security Design Patterns Application Using Model Testing","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https:\/\/openalex.org\/W2018644264","doi":"https:\/\/doi.org\/10.1109\/ares.2013.13","mag":"2018644264"},"language":"en","primary_location":{"id":"doi:10.1109\/ares.2013.13","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1109\/ares.2013.13","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 International Conference on Availability, Reliability and Security","raw_type":"proceedings-article"},"type":"conference-paper","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\/A5071001188","display_name":"Takanori Kobashi","orcid":null},"institutions":[{"id":"https:\/\/openalex.org\/I150744194","display_name":"Waseda University","ror":"https:\/\/ror.org\/00ntfnx83","country_code":"JP","type":"education","lineage":["https:\/\/openalex.org\/I150744194"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takanori Kobashi","raw_affiliation_strings":["Computer Science and Engineer Department, Waseda University, Tokyo, Japan","Comput. Sci. & Eng. Dept., Waseda Univ., Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Engineer Department, Waseda University, Tokyo, Japan","institution_ids":["https:\/\/openalex.org\/I150744194"]},{"raw_affiliation_string":"Comput. Sci. & Eng. Dept., Waseda Univ., Tokyo, Japan","institution_ids":["https:\/\/openalex.org\/I150744194"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5018128809","display_name":"Nobukazu Yoshioka","orcid":"https:\/\/orcid.org\/0000-0002-1986-5675"},"institutions":[{"id":"https:\/\/openalex.org\/I184597095","display_name":"National Institute of Informatics","ror":"https:\/\/ror.org\/04ksd4g47","country_code":"JP","type":"facility","lineage":["https:\/\/openalex.org\/I1319490839","https:\/\/openalex.org\/I184597095","https:\/\/openalex.org\/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Nobukazu Yoshioka","raw_affiliation_strings":["GRACE Center, National Institute of informatics, Tokyo, Japan","GRACE Center, Nat. Inst. of Inf., Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"GRACE Center, National Institute of informatics, Tokyo, Japan","institution_ids":["https:\/\/openalex.org\/I184597095"]},{"raw_affiliation_string":"GRACE Center, Nat. Inst. of Inf., Tokyo, Japan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5043970801","display_name":"Takao Okubo","orcid":"https:\/\/orcid.org\/0000-0002-4490-1420"},"institutions":[{"id":"https:\/\/openalex.org\/I4210138172","display_name":"Institute of Information Security","ror":"https:\/\/ror.org\/03rmfrm44","country_code":"JP","type":"education","lineage":["https:\/\/openalex.org\/I4210138172"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takao Okubo","raw_affiliation_strings":["Information Security Division, Institute of Information Security, Yokohama, Japan","Inf. Security Div., Inst. of Inf. Security, Yokohama, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Security Division, Institute of Information Security, Yokohama, Japan","institution_ids":["https:\/\/openalex.org\/I4210138172"]},{"raw_affiliation_string":"Inf. Security Div., Inst. of Inf. Security, Yokohama, Japan","institution_ids":["https:\/\/openalex.org\/I4210138172"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5042986574","display_name":"Haruhiko Kaiya","orcid":"https:\/\/orcid.org\/0000-0001-9816-8001"},"institutions":[{"id":"https:\/\/openalex.org\/I184597095","display_name":"National Institute of Informatics","ror":"https:\/\/ror.org\/04ksd4g47","country_code":"JP","type":"facility","lineage":["https:\/\/openalex.org\/I1319490839","https:\/\/openalex.org\/I184597095","https:\/\/openalex.org\/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Haruhiko Kaiya","raw_affiliation_strings":["Architecture Research Division, National Institute of Informatics, Tokyo, Japan","Archit. Res. Div., Nat. Inst. of Inf., Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Architecture Research Division, National Institute of Informatics, Tokyo, Japan","institution_ids":["https:\/\/openalex.org\/I184597095"]},{"raw_affiliation_string":"Archit. Res. Div., Nat. Inst. of Inf., Tokyo, Japan","institution_ids":["https:\/\/openalex.org\/I184597095"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5033111691","display_name":"Hironori Washizaki","orcid":"https:\/\/orcid.org\/0000-0002-1417-9879"},"institutions":[{"id":"https:\/\/openalex.org\/I150744194","display_name":"Waseda University","ror":"https:\/\/ror.org\/00ntfnx83","country_code":"JP","type":"education","lineage":["https:\/\/openalex.org\/I150744194"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hironori Washizaki","raw_affiliation_strings":["Computer Science and Engineering, Waseda University, Tokyo, Japan","Comput. Sci. & Eng. Dept., Waseda Univ., Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Waseda University, Tokyo, Japan","institution_ids":["https:\/\/openalex.org\/I150744194"]},{"raw_affiliation_string":"Comput. Sci. & Eng. Dept., Waseda Univ., Tokyo, Japan","institution_ids":["https:\/\/openalex.org\/I150744194"]}]},{"author_position":"last","author":{"id":"https:\/\/openalex.org\/A5088654194","display_name":"Yoshiaki Fukazawa","orcid":"https:\/\/orcid.org\/0000-0003-0196-2108"},"institutions":[{"id":"https:\/\/openalex.org\/I150744194","display_name":"Waseda University","ror":"https:\/\/ror.org\/00ntfnx83","country_code":"JP","type":"education","lineage":["https:\/\/openalex.org\/I150744194"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoshiaki Fukazawa","raw_affiliation_strings":["Computer Science and Engineering, Waseda University, Tokyo, Japan","Comput. Sci. & Eng. Dept., Waseda Univ., Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Waseda University, Tokyo, Japan","institution_ids":["https:\/\/openalex.org\/I150744194"]},{"raw_affiliation_string":"Comput. Sci. & Eng. Dept., Waseda Univ., Tokyo, Japan","institution_ids":["https:\/\/openalex.org\/I150744194"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.357,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.78309009,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"3","issue":null,"first_page":"62","last_page":"71"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https:\/\/openalex.org\/T12423","display_name":"Software Reliability and Analysis Research","score":0.9984999895095825,"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"}},"topics":[{"id":"https:\/\/openalex.org\/T12423","display_name":"Software Reliability and Analysis Research","score":0.9984999895095825,"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.9983000159263611,"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.9973999857902527,"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\/security-testing","display_name":"Security testing","score":0.7983839511871338},{"id":"https:\/\/openalex.org\/keywords\/computer-science","display_name":"Computer science","score":0.7794361114501953},{"id":"https:\/\/openalex.org\/keywords\/security-bug","display_name":"Security bug","score":0.7359597682952881},{"id":"https:\/\/openalex.org\/keywords\/software-security-assurance","display_name":"Software security assurance","score":0.7139824628829956},{"id":"https:\/\/openalex.org\/keywords\/computer-security-model","display_name":"Computer security model","score":0.673445463180542},{"id":"https:\/\/openalex.org\/keywords\/secure-coding","display_name":"Secure coding","score":0.6107208132743835},{"id":"https:\/\/openalex.org\/keywords\/security-information-and-event-management","display_name":"Security information and event management","score":0.6050654649734497},{"id":"https:\/\/openalex.org\/keywords\/security-through-obscurity","display_name":"Security through obscurity","score":0.5737154483795166},{"id":"https:\/\/openalex.org\/keywords\/computer-security","display_name":"Computer security","score":0.5350846648216248},{"id":"https:\/\/openalex.org\/keywords\/security-service","display_name":"Security service","score":0.5186169147491455},{"id":"https:\/\/openalex.org\/keywords\/application-security","display_name":"Application security","score":0.5126692056655884},{"id":"https:\/\/openalex.org\/keywords\/security-engineering","display_name":"Security engineering","score":0.5038864016532898},{"id":"https:\/\/openalex.org\/keywords\/threat-model","display_name":"Threat model","score":0.4605277180671692},{"id":"https:\/\/openalex.org\/keywords\/software-design-pattern","display_name":"Software design pattern","score":0.4595550298690796},{"id":"https:\/\/openalex.org\/keywords\/cloud-computing-security","display_name":"Cloud computing security","score":0.42972031235694885},{"id":"https:\/\/openalex.org\/keywords\/process","display_name":"Process (computing)","score":0.4231148958206177},{"id":"https:\/\/openalex.org\/keywords\/software","display_name":"Software","score":0.28629785776138306},{"id":"https:\/\/openalex.org\/keywords\/information-security","display_name":"Information security","score":0.2732545733451843},{"id":"https:\/\/openalex.org\/keywords\/cloud-computing","display_name":"Cloud computing","score":0.07789325714111328}],"concepts":[{"id":"https:\/\/openalex.org\/C195518309","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q13424265","display_name":"Security testing","level":5,"score":0.7983839511871338},{"id":"https:\/\/openalex.org\/C41008148","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q21198","display_name":"Computer science","level":0,"score":0.7794361114501953},{"id":"https:\/\/openalex.org\/C131275738","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7445023","display_name":"Security bug","level":5,"score":0.7359597682952881},{"id":"https:\/\/openalex.org\/C62913178","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7554361","display_name":"Software security assurance","level":4,"score":0.7139824628829956},{"id":"https:\/\/openalex.org\/C121822524","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q5157582","display_name":"Computer security model","level":2,"score":0.673445463180542},{"id":"https:\/\/openalex.org\/C22680326","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7444867","display_name":"Secure coding","level":5,"score":0.6107208132743835},{"id":"https:\/\/openalex.org\/C103377522","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q3493999","display_name":"Security information and event management","level":4,"score":0.6050654649734497},{"id":"https:\/\/openalex.org\/C114869243","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q133735","display_name":"Security through obscurity","level":5,"score":0.5737154483795166},{"id":"https:\/\/openalex.org\/C38652104","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q3510521","display_name":"Computer security","level":1,"score":0.5350846648216248},{"id":"https:\/\/openalex.org\/C29983905","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7445066","display_name":"Security service","level":3,"score":0.5186169147491455},{"id":"https:\/\/openalex.org\/C77109596","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q4781497","display_name":"Application security","level":5,"score":0.5126692056655884},{"id":"https:\/\/openalex.org\/C13159133","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q365674","display_name":"Security engineering","level":5,"score":0.5038864016532898},{"id":"https:\/\/openalex.org\/C140547941","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7797194","display_name":"Threat model","level":2,"score":0.4605277180671692},{"id":"https:\/\/openalex.org\/C146054899","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q181156","display_name":"Software design pattern","level":3,"score":0.4595550298690796},{"id":"https:\/\/openalex.org\/C184842701","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q370563","display_name":"Cloud computing security","level":3,"score":0.42972031235694885},{"id":"https:\/\/openalex.org\/C98045186","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q205663","display_name":"Process (computing)","level":2,"score":0.4231148958206177},{"id":"https:\/\/openalex.org\/C2777904410","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7397","display_name":"Software","level":2,"score":0.28629785776138306},{"id":"https:\/\/openalex.org\/C527648132","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q189900","display_name":"Information security","level":2,"score":0.2732545733451843},{"id":"https:\/\/openalex.org\/C79974875","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q483639","display_name":"Cloud computing","level":2,"score":0.07789325714111328},{"id":"https:\/\/openalex.org\/C111919701","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q9135","display_name":"Operating system","level":1,"score":0},{"id":"https:\/\/openalex.org\/C199360897","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q9143","display_name":"Programming language","level":1,"score":0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109\/ares.2013.13","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1109\/ares.2013.13","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 International Conference on Availability, Reliability and Security","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"id":"https:\/\/metadata.un.org\/sdg\/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https:\/\/openalex.org\/G1372408798","display_name":"Research on cloud middleware for systems recommending evacuation activities from disasters using miniblogs","funder_award_id":"24300005","funder_id":"https:\/\/openalex.org\/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https:\/\/openalex.org\/G3485821264","display_name":"Research on Establishment of Sensor-based Software Engineering","funder_award_id":"25280026","funder_id":"https:\/\/openalex.org\/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https:\/\/openalex.org\/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https:\/\/ror.org\/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https:\/\/openalex.org\/W144084198","https:\/\/openalex.org\/W1486178352","https:\/\/openalex.org\/W1518695183","https:\/\/openalex.org\/W2015841749","https:\/\/openalex.org\/W2091749059","https:\/\/openalex.org\/W2098019984","https:\/\/openalex.org\/W2107581074","https:\/\/openalex.org\/W2126762719","https:\/\/openalex.org\/W2153177282","https:\/\/openalex.org\/W2153764140","https:\/\/openalex.org\/W4205736829","https:\/\/openalex.org\/W6605829652","https:\/\/openalex.org\/W6682635961","https:\/\/openalex.org\/W6682639063"],"related_works":["https:\/\/openalex.org\/W2150933192","https:\/\/openalex.org\/W125279808","https:\/\/openalex.org\/W2557302400","https:\/\/openalex.org\/W2767065145","https:\/\/openalex.org\/W2155353733","https:\/\/openalex.org\/W2146455667","https:\/\/openalex.org\/W2018644264","https:\/\/openalex.org\/W2796056969","https:\/\/openalex.org\/W4388483595","https:\/\/openalex.org\/W2135191468"],"abstract_inverted_index":{"Software":[0],"developers":[1,10],"are":[2,20,105,113],"not":[3,42],"necessarily":[4],"security":[5,7,15,18,24,33,54,61,103],"specialists,":[6],"patterns":[8,19,68,104],"provide":[9],"with":[11],"the":[12,82,87,102],"knowledge":[13],"of":[14,94],"specialists.":[16],"Although":[17],"reusable":[21],"and":[22,45,66,84,96,108],"include":[23,64],"knowledge,":[25],"it":[26],"is":[27],"possible":[28],"to":[29,52],"inappropriately":[30],"apply":[31],"a":[32,37,50,72],"pattern":[34,40,55],"or":[35],"that":[36],"properly":[38,106],"applied":[39,107],"does":[41],"mitigate":[43],"threats":[44,83],"vulnerabilities.":[46],"Herein":[47],"we":[48],"propose":[49],"method":[51,58,99],"validate":[53],"applications.":[56],"Our":[57],"provides":[59],"extended":[60],"patterns,":[62],"which":[63],"requirement-":[65],"design-level":[67],"as":[69,71],"well":[70],"new":[73],"model":[74],"testing":[75],"process":[76],"using":[77],"these":[78,111],"patterns.":[79],"Developers":[80],"specify":[81],"vulnerabilities":[85,112],"in":[86],"target":[88],"system":[89],"during":[90],"an":[91],"early":[92],"stage":[93],"development,":[95],"then":[97],"our":[98],"validates":[100],"whether":[101,110],"assesses":[109],"resolved.":[114]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}