{"id":"https://openalex.org/W4389459334","doi":"https://doi.org/10.1109/access.2023.3340690","title":"Analyzing Component Composability of Cloud Security Configurations","display_name":"Analyzing Component Composability of Cloud Security Configurations","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4389459334","doi":"https://doi.org/10.1109/access.2023.3340690"},"language":"en","primary_location":{"id":"doi:10.1109/access.2023.3340690","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3340690","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10348579.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10348579.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028168311","display_name":"Kandasamy Muniasamy","orcid":"https://orcid.org/0009-0004-8433-4960"},"institutions":[{"id":"https://openalex.org/I4210154636","display_name":"Technology Information, Forecasting and Assessment Council","ror":"https://ror.org/04d81ed36","country_code":"IN","type":"government","lineage":["https://openalex.org/I2799351866","https://openalex.org/I4210098748","https://openalex.org/I4210134808","https://openalex.org/I4210154636"]},{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Kandasamy Muniasamy","raw_affiliation_strings":["TIFAC CORE in Cyber Security, Amrita Vishwa Vidyapeetham, Amritanagar, Coimbatore, Tamil Nadu, India"],"raw_orcid":"https://orcid.org/0009-0004-8433-4960","affiliations":[{"raw_affiliation_string":"TIFAC CORE in Cyber Security, Amrita Vishwa Vidyapeetham, Amritanagar, Coimbatore, Tamil Nadu, India","institution_ids":["https://openalex.org/I81556334","https://openalex.org/I4210154636"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068396440","display_name":"Rohit Chadha","orcid":"https://orcid.org/0000-0002-1674-1650"},"institutions":[{"id":"https://openalex.org/I76835614","display_name":"University of Missouri","ror":"https://ror.org/02ymw8z06","country_code":"US","type":"education","lineage":["https://openalex.org/I76835614"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rohit Chadha","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Missouri, Columbia, MO, USA","Electrical Engineering and Computer Science, University of Missouri, W1024 Lafferre Hall, Columbia, Missouri, USA"],"raw_orcid":"https://orcid.org/0000-0002-1674-1650","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Missouri, Columbia, MO, USA","institution_ids":["https://openalex.org/I76835614"]},{"raw_affiliation_string":"Electrical Engineering and Computer Science, University of Missouri, W1024 Lafferre Hall, Columbia, Missouri, USA","institution_ids":["https://openalex.org/I76835614"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072008189","display_name":"Prasad Calyam","orcid":"https://orcid.org/0000-0002-7666-5389"},"institutions":[{"id":"https://openalex.org/I76835614","display_name":"University of Missouri","ror":"https://ror.org/02ymw8z06","country_code":"US","type":"education","lineage":["https://openalex.org/I76835614"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Prasad Calyam","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Missouri, Columbia, MO, USA","Electrical Engineering and Computer Science, University of Missouri, W1024 Lafferre Hall, Columbia, Missouri, USA"],"raw_orcid":"https://orcid.org/0000-0002-7666-5389","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Missouri, Columbia, MO, USA","institution_ids":["https://openalex.org/I76835614"]},{"raw_affiliation_string":"Electrical Engineering and Computer Science, University of Missouri, W1024 Lafferre Hall, Columbia, Missouri, USA","institution_ids":["https://openalex.org/I76835614"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011090929","display_name":"M. Sethumadhavan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210154636","display_name":"Technology Information, Forecasting and Assessment Council","ror":"https://ror.org/04d81ed36","country_code":"IN","type":"government","lineage":["https://openalex.org/I2799351866","https://openalex.org/I4210098748","https://openalex.org/I4210134808","https://openalex.org/I4210154636"]},{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"M. Sethumadhavan","raw_affiliation_strings":["TIFAC CORE in Cyber Security, Amrita Vishwa Vidyapeetham, Amritanagar, Coimbatore, Tamil Nadu, India"],"raw_orcid":"https://orcid.org/0000-0001-5476-5461","affiliations":[{"raw_affiliation_string":"TIFAC CORE in Cyber Security, Amrita Vishwa Vidyapeetham, Amritanagar, Coimbatore, Tamil Nadu, India","institution_ids":["https://openalex.org/I81556334","https://openalex.org/I4210154636"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5028168311"],"corresponding_institution_ids":["https://openalex.org/I4210154636","https://openalex.org/I81556334"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.1769,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.83466229,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"11","issue":null,"first_page":"139935","last_page":"139951"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9993000030517578,"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/T11424","display_name":"Security and Verification in Computing","score":0.9993000030517578,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9977999925613403,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/composability","display_name":"Composability","score":0.9130135178565979},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7841718792915344},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6855443716049194},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.6755566596984863},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4457559585571289},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.4139583110809326},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3464868664741516},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18217888474464417}],"concepts":[{"id":"https://openalex.org/C2778814252","wikidata":"https://www.wikidata.org/wiki/Q5156715","display_name":"Composability","level":2,"score":0.9130135178565979},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7841718792915344},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6855443716049194},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.6755566596984863},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4457559585571289},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.4139583110809326},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3464868664741516},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18217888474464417},{"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":2,"locations":[{"id":"doi:10.1109/access.2023.3340690","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3340690","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10348579.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:3036b05229d5433fa1aacc505a3071ad","is_oa":true,"landing_page_url":"https://doaj.org/article/3036b05229d5433fa1aacc505a3071ad","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 11, Pp 139935-139951 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2023.3340690","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3340690","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10348579.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G3715539594","display_name":"SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms","funder_award_id":"1900924","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4465295700","display_name":null,"funder_award_id":"NSF SHF 1900924","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G655722081","display_name":"CAREER: Automated Analysis of Security Hyperproperties","funder_award_id":"1553548","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8415750012","display_name":null,"funder_award_id":"NSF CNS 1553548","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4389459334.pdf","grobid_xml":"https://content.openalex.org/works/W4389459334.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W1781094","https://openalex.org/W1504504841","https://openalex.org/W1562226375","https://openalex.org/W1973938051","https://openalex.org/W1983531171","https://openalex.org/W2015688007","https://openalex.org/W2069858199","https://openalex.org/W2105505307","https://openalex.org/W2110425399","https://openalex.org/W2137073376","https://openalex.org/W2157933368","https://openalex.org/W2808864572","https://openalex.org/W2892684501","https://openalex.org/W2962604136","https://openalex.org/W4282929725","https://openalex.org/W4296471858"],"related_works":["https://openalex.org/W1600768314","https://openalex.org/W2359883120","https://openalex.org/W2931996793","https://openalex.org/W4205234238","https://openalex.org/W2519629845","https://openalex.org/W3148880067","https://openalex.org/W2788934790","https://openalex.org/W3167767780","https://openalex.org/W1988660452","https://openalex.org/W3043682580"],"abstract_inverted_index":{"Security":[0],"is":[1,93],"a":[2,73,84,94,109,122,129],"major":[3],"concern":[4],"when":[5],"building":[6,33],"large-scale":[7,18,67],"computer":[8],"systems.":[9],"Cloud":[10],"services":[11],"have":[12],"made":[13],"it":[14],"easier":[15],"to":[16,54,102,140,149],"provision":[17],"systems":[19,53,68],"on":[20],"demand":[21],"over":[22],"the":[23,26,31,90,104,132,144,158,164],"Internet.":[24],"While":[25],"cloud":[27],"service":[28],"providers":[29],"provide":[30],"required":[32],"blocks":[34],"or":[35,152],"components":[36,77,92,107,126],"such":[37,66],"as":[38],"compute":[39],"units,":[40],"database":[41],"servers,":[42],"and":[43,63],"storage,":[44],"customers":[45],"are":[46],"still":[47],"responsible":[48],"for":[49,168],"securely":[50],"combining":[51],"these":[52],"satisfy":[55,83,128],"their":[56],"organization\u2019s":[57],"security":[58,80,86,110,130],"policy.":[59,142],"The":[60],"secure":[61],"development":[62],"operation":[64],"of":[65,106],"present":[69],"technical":[70],"challenges.":[71],"Composing":[72],"larger":[74],"system":[75,123,134,159,165],"using":[76,112,124],"with":[78,138],"known":[79],"properties":[81],"that":[82,118,127,141],"given":[85],"policy":[87],"without":[88],"re-analyzing":[89],"individual":[91,125],"difficult":[95],"problem.":[96],"In":[97],"this":[98],"study,":[99],"we":[100,120],"attempted":[101],"analyze":[103],"composability":[105],"from":[108],"perspective":[111],"first-order":[113],"predicate":[114],"logic.":[115],"We":[116],"posit":[117],"if":[119],"build":[121],"policy,":[131],"composed":[133],"will":[135],"be":[136,147],"sound":[137],"regard":[139],"Additionally,":[143],"methodology":[145],"can":[146],"used":[148],"identify":[150],"drifts":[151],"violations":[153],"during":[154,163],"future":[155],"changes":[156],"in":[157],"by":[160],"running":[161],"checks":[162],"release":[166],"cycles":[167],"continuous":[169],"verification.":[170]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}