{"id":"https://openalex.org/W1561562093","doi":"https://doi.org/10.1109/issre.2003.1251039","title":"High-assurance synthesis of security services from basic microservices","display_name":"High-assurance synthesis of security services from basic microservices","publication_year":2005,"publication_date":"2005-04-25","ids":{"openalex":"https://openalex.org/W1561562093","doi":"https://doi.org/10.1109/issre.2003.1251039","mag":"1561562093"},"language":"en","primary_location":{"id":"doi:10.1109/issre.2003.1251039","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2003.1251039","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.","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/A5023472800","display_name":"Sung Kim","orcid":null},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sung Kim","raw_affiliation_strings":["Computer Science Department, University of Texas, Dallas, Richardson, TX, USA","Dept. of Comput. Sci., Texas Univ., Richardson, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Texas, Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"Dept. of Comput. Sci., Texas Univ., Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071513393","display_name":"Farokh Bastani","orcid":null},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"F.B. Bastani","raw_affiliation_strings":["Computer Science Department, University of Texas, Dallas, Richardson, TX, USA","Dept. of Comput. Sci., Texas Univ., Richardson, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Texas, Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"Dept. of Comput. Sci., Texas Univ., Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111903897","display_name":"I\u2010Ling Yen","orcid":null},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"I-Ling Yen","raw_affiliation_strings":["Computer Science Department, University of Texas, Dallas, Richardson, TX, USA","Dept. of Comput. Sci., Texas Univ., Richardson, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Texas, Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"Dept. of Comput. Sci., Texas Univ., Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090682032","display_name":"Ing-Ray Chen","orcid":"https://orcid.org/0000-0003-1657-6728"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ing-Ray Chen","raw_affiliation_strings":["Department of Computer Science, Virginia Technology, Falls Church, VA, USA","Virginia Polytechnic Institute And State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Virginia Technology, Falls Church, VA, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Virginia Polytechnic Institute And State University","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"154","last_page":"165"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9968000054359436,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9959999918937683,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.8033413887023926},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.7815273404121399},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7713130116462708},{"id":"https://openalex.org/keywords/security-service","display_name":"Security service","score":0.7218464016914368},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6282644271850586},{"id":"https://openalex.org/keywords/security-testing","display_name":"Security testing","score":0.6240984201431274},{"id":"https://openalex.org/keywords/hacker","display_name":"Hacker","score":0.6056641936302185},{"id":"https://openalex.org/keywords/security-bug","display_name":"Security bug","score":0.5899918079376221},{"id":"https://openalex.org/keywords/microservices","display_name":"Microservices","score":0.5775816440582275},{"id":"https://openalex.org/keywords/security-through-obscurity","display_name":"Security through obscurity","score":0.5707021951675415},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.5221298336982727},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.5010168552398682},{"id":"https://openalex.org/keywords/security-information-and-event-management","display_name":"Security information and event management","score":0.4982013702392578},{"id":"https://openalex.org/keywords/logical-security","display_name":"Logical security","score":0.4885324239730835},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.43697983026504517},{"id":"https://openalex.org/keywords/covert-channel","display_name":"Covert channel","score":0.4305275082588196},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.34900885820388794},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.17936429381370544},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12522417306900024}],"concepts":[{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.8033413887023926},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.7815273404121399},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7713130116462708},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.7218464016914368},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6282644271850586},{"id":"https://openalex.org/C195518309","wikidata":"https://www.wikidata.org/wiki/Q13424265","display_name":"Security testing","level":5,"score":0.6240984201431274},{"id":"https://openalex.org/C86844869","wikidata":"https://www.wikidata.org/wiki/Q2798820","display_name":"Hacker","level":2,"score":0.6056641936302185},{"id":"https://openalex.org/C131275738","wikidata":"https://www.wikidata.org/wiki/Q7445023","display_name":"Security bug","level":5,"score":0.5899918079376221},{"id":"https://openalex.org/C2778505942","wikidata":"https://www.wikidata.org/wiki/Q18344624","display_name":"Microservices","level":3,"score":0.5775816440582275},{"id":"https://openalex.org/C114869243","wikidata":"https://www.wikidata.org/wiki/Q133735","display_name":"Security through obscurity","level":5,"score":0.5707021951675415},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.5221298336982727},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.5010168552398682},{"id":"https://openalex.org/C103377522","wikidata":"https://www.wikidata.org/wiki/Q3493999","display_name":"Security information and event management","level":4,"score":0.4982013702392578},{"id":"https://openalex.org/C178639896","wikidata":"https://www.wikidata.org/wiki/Q604035","display_name":"Logical security","level":5,"score":0.4885324239730835},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.43697983026504517},{"id":"https://openalex.org/C29024540","wikidata":"https://www.wikidata.org/wiki/Q1476964","display_name":"Covert channel","level":5,"score":0.4305275082588196},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.34900885820388794},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.17936429381370544},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12522417306900024},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/issre.2003.1251039","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2003.1251039","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3189065608","https://openalex.org/W2018644264","https://openalex.org/W896362041","https://openalex.org/W2160024598","https://openalex.org/W1571028866","https://openalex.org/W2608133077","https://openalex.org/W2796056969","https://openalex.org/W658105165","https://openalex.org/W2293678011","https://openalex.org/W1561562093"],"abstract_inverted_index":{"Computer":[0],"systems":[1],"are":[2,111],"vulnerable":[3],"to":[4,17,60,97,133,155,181,192],"many":[5,112],"different":[6],"types":[7],"of":[8,27,35,44,57,121,146,197],"threats":[9],"ranging":[10],"from":[11,80,91,141],"harmless":[12],"mistakes":[13],"in":[14,101],"data":[15],"entries":[16],"malicious":[18,98],"attacks":[19,95],"by":[20],"computer":[21,38,53,63],"hackers.":[22],"Furthermore,":[23],"the":[24,28,58,67,72,82,102,119,122,178,195,205],"explosive":[25],"growth":[26],"Internet":[29],"has":[30,48,76],"introduced":[31],"very":[32],"sophisticated":[33],"ways":[34],"compromising":[36],"any":[37],"system.":[39,167,199],"Consequently,":[40],"a":[41,88,157,163,173,198],"great":[42],"deal":[43,61],"time":[45],"and":[46,137],"effort":[47],"been":[49,77],"spent":[50],"on":[51,78],"achieving":[52],"network":[54,68],"security.":[55],"Most":[56],"efforts":[59],"with":[62,129,162],"security":[64,69,136,140,180,196,206],"have":[65],"emphasized":[66],"aspect":[70],"(i.e.,":[71],"focus":[73],"so":[74,187],"far":[75],"intruders":[79],"outside":[81],"system).":[83],"However,":[84],"there":[85,110],"also":[86],"exists":[87],"significant":[89],"threat":[90],"\"enemies":[92],"within\",":[93],"e.g.":[94],"due":[96],"code":[99],"embedded":[100],"software.":[103],"Whether":[104],"it":[105,151,189],"is":[106,132,149,152,190,202],"intentional":[107],"or":[108],"not,":[109],"software":[113,166],"bugs":[114],"that":[115,150,176,188],"can":[116],"potentially":[117],"be":[118,182],"source":[120],"information":[123],"misusages.":[124],"One":[125],"approach":[126,201],"for":[127,204,208],"dealing":[128],"this":[130,147,169],"issue":[131],"certify":[134,194],"component":[135,159],"deduce":[138],"system":[139,179],"its":[142],"components.":[143],"The":[144,200],"advantage":[145],"method":[148],"much":[153],"simpler":[154],"validate":[156],"small":[158],"as":[160],"compared":[161],"large":[164],"monolithic":[165],"In":[168],"paper,":[170],"we":[171],"define":[172],"general":[174],"process":[175],"allows":[177],"decomposed":[183],"into":[184],"orthogonal":[185],"aspects":[186],"possible":[191],"rigorously":[193],"illustrated":[203],"service":[207],"an":[209],"e-mail":[210],"application.":[211]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}