{"id":"https://openalex.org/W4403520114","doi":"https://doi.org/10.1145/3691620.3695279","title":"Cloud Resource Protection via Automated Security Property Reasoning","display_name":"Cloud Resource Protection via Automated Security Property Reasoning","publication_year":2024,"publication_date":"2024-10-18","ids":{"openalex":"https://openalex.org/W4403520114","doi":"https://doi.org/10.1145/3691620.3695279"},"language":"en","primary_location":{"id":"doi:10.1145/3691620.3695279","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695279","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3691620.3695279","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039333305","display_name":"Zhixing Xu","orcid":"https://orcid.org/0009-0000-6283-0737"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Zhixing Xu","raw_affiliation_strings":["Amazon Web Services, Cupertino, California, USA"],"raw_orcid":"https://orcid.org/0009-0000-6283-0737","affiliations":[{"raw_affiliation_string":"Amazon Web Services, Cupertino, California, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015125413","display_name":"Shengjian Guo","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shengjian Guo","raw_affiliation_strings":["Amazon Web Services, Cupertino, California, USA"],"raw_orcid":"https://orcid.org/0000-0001-9145-9279","affiliations":[{"raw_affiliation_string":"Amazon Web Services, Cupertino, California, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112571440","display_name":"Oksana Tkachuk","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Oksana Tkachuk","raw_affiliation_strings":["Amazon Web Services, Cupertino, California, USA"],"raw_orcid":"https://orcid.org/0009-0005-1290-8600","affiliations":[{"raw_affiliation_string":"Amazon Web Services, Cupertino, California, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072282822","display_name":"Saeed Nejati","orcid":"https://orcid.org/0000-0002-1473-3630"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Saeed Nejati","raw_affiliation_strings":["Amazon Web Services, Seattle, Washington, USA"],"raw_orcid":"https://orcid.org/0000-0002-1473-3630","affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, Washington, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114315590","display_name":"Niloofar Razavi","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Niloofar Razavi","raw_affiliation_strings":["Amazon Web Services, Santa Clara, California, USA"],"raw_orcid":"https://orcid.org/0009-0004-1754-559X","affiliations":[{"raw_affiliation_string":"Amazon Web Services, Santa Clara, California, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085271339","display_name":"George Argyros","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"George Argyros","raw_affiliation_strings":["Amazon Web Services, New York, New York, USA"],"raw_orcid":"https://orcid.org/0009-0003-8611-7444","affiliations":[{"raw_affiliation_string":"Amazon Web Services, New York, New York, USA","institution_ids":["https://openalex.org/I1311688040"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5039333305"],"corresponding_institution_ids":["https://openalex.org/I1311688040"],"apc_list":null,"apc_paid":null,"fwci":0.746,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.79394139,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"2170","last_page":"2175"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9968000054359436,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9968000054359436,"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/T10927","display_name":"Access Control and Trust","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9952999949455261,"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/cloud-computing","display_name":"Cloud computing","score":0.6996517777442932},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6701465845108032},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5217503309249878},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4934786558151245},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4835953116416931},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.07400497794151306}],"concepts":[{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.6996517777442932},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6701465845108032},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5217503309249878},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4934786558151245},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4835953116416931},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.07400497794151306},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3691620.3695279","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695279","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3691620.3695279","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3691620.3695279","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2962604136","https://openalex.org/W3184529109"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4244478748","https://openalex.org/W4223488648","https://openalex.org/W2134969820","https://openalex.org/W2251605416","https://openalex.org/W1997222214","https://openalex.org/W2560439919","https://openalex.org/W4389340727"],"abstract_inverted_index":{"As":[0],"cloud":[1,10,18,27,63,96,110,125],"computing":[2],"gains":[3],"widespread":[4],"adoption":[5],"across":[6],"various":[7],"industries,":[8],"securing":[9],"resources":[11,28,64,97,117],"has":[12],"become":[13],"a":[14,54,121,131],"top":[15],"priority":[16],"for":[17,101],"providers.":[19],"However,":[20],"ensuring":[21],"configuration":[22],"security":[23,42,67,80,85,89,103,107,126,137],"among":[24],"highly":[25],"interconnected":[26],"is":[29],"challenging":[30],"due":[31],"to":[32],"the":[33,74,106,135],"complexities":[34],"of":[35,95,109,115,124],"resource":[36],"modeling,":[37],"correlation":[38],"analysis,":[39],"and":[40,57,87],"large-scale":[41],"checks.":[43],"To":[44],"tackle":[45],"those":[46],"practical":[47],"challenges,":[48],"we":[49],"propose":[50],"Security":[51],"Invariants":[52],"(SI),":[53],"precise,":[55],"effective,":[56],"scalable":[58],"tool":[59],"that":[60],"proactively":[61],"protects":[62],"by":[65],"automated":[66],"reasoning.":[68],"We":[69],"have":[70],"integrated":[71],"SI":[72,91],"into":[73],"rigorous":[75],"Amazon":[76],"Web":[77],"Services":[78],"(AWS)":[79],"review":[81],"process.":[82],"Partnered":[83],"with":[84],"engineers":[86],"other":[88],"scanners,":[90],"periodically":[92],"scans":[93],"billions":[94],"in":[98],"pre-launch":[99],"services":[100],"potential":[102],"risks,":[104],"maximizing":[105],"guarantees":[108],"applications.":[111],"The":[112],"continuous":[113],"assessment":[114],"evolving":[116],"not":[118],"only":[119],"brings":[120],"deep":[122],"understanding":[123],"risks":[127],"but":[128],"also":[129],"introduces":[130],"generalized":[132],"solution":[133],"from":[134],"holistic":[136],"analysis":[138],"perspective.":[139]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}