{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T10:56:21Z","timestamp":1778151381392,"version":"3.51.4"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["NSF CNS 1553548"],"award-info":[{"award-number":["NSF CNS 1553548"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["NSF SHF 1900924"],"award-info":[{"award-number":["NSF SHF 1900924"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/access.2023.3340690","type":"journal-article","created":{"date-parts":[[2023,12,7]],"date-time":"2023-12-07T19:40:53Z","timestamp":1701978053000},"page":"139935-139951","source":"Crossref","is-referenced-by-count":7,"title":["Analyzing Component Composability of Cloud Security Configurations"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-8433-4960","authenticated-orcid":false,"given":"Kandasamy","family":"Muniasamy","sequence":"first","affiliation":[{"name":"TIFAC CORE in Cyber Security, Amrita Vishwa Vidyapeetham, Amritanagar, Coimbatore, Tamil Nadu, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1674-1650","authenticated-orcid":false,"given":"Rohit","family":"Chadha","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Missouri, Columbia, MO, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7666-5389","authenticated-orcid":false,"given":"Prasad","family":"Calyam","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Missouri, Columbia, MO, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5476-5461","authenticated-orcid":false,"given":"M.","family":"Sethumadhavan","sequence":"additional","affiliation":[{"name":"TIFAC CORE in Cyber Security, Amrita Vishwa Vidyapeetham, Amritanagar, Coimbatore, Tamil Nadu, India"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"AWS Shared Responsibility","year":"2023"},{"key":"ref2","volume-title":"OWASP Top 10","year":"2023"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/csda.1998.798355"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.55085"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.1992.228228"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70936-7_4"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_14"},{"key":"ref11","volume-title":"Automated Analysis and Debugging of Network Policies","author":"Jeyaraman"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/noms.2014.6838309"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/noms54207.2022.9789768"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/357980.358021"},{"key":"ref15","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport","year":"2002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2018.2849699"},{"key":"ref17","volume-title":"Many-Sorted Logic","author":"V\u00e4\u00e4n\u00e4nen","year":"2014"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_1"},{"key":"ref19","first-page":"114","article-title":"Checking network reachability properties by automated reasoning in first-order logic","volume-title":"Automated Theorem Proving With Extensions of First-Order Logic","author":"Kotelnikov","year":"2018"},{"key":"ref20","volume-title":"CS 221 Lecture 16 [Powerpoint Slides]","author":"Sadig","year":"2018"},{"key":"ref21","volume-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"2001"},{"key":"ref22","volume-title":"AWS CLI Reference","year":"2023"},{"key":"ref23","volume-title":"Implementation Source Code","year":"2023"},{"key":"ref24","volume-title":"Regions and Availability Zones","year":"2023"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/6287639\/10005208\/10348579-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/10005208\/10348579.pdf?arnumber=10348579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T01:33:00Z","timestamp":1705023180000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10348579\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/access.2023.3340690","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}