{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T22:25:57Z","timestamp":1776205557559,"version":"3.50.1"},"reference-count":61,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100009790","name":"University at Albany","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009790","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002914","name":"Concordia University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002914","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2022,7,1]]},"DOI":"10.1109\/tdsc.2021.3062204","type":"journal-article","created":{"date-parts":[[2021,2,25]],"date-time":"2021-02-25T20:49:17Z","timestamp":1614286157000},"page":"2517-2534","source":"Crossref","is-referenced-by-count":18,"title":["<i>ProSAS<\/i>: Proactive Security Auditing System for Clouds"],"prefix":"10.1109","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6501-4214","authenticated-orcid":false,"given":"Suryadipta","family":"Majumdar","sequence":"first","affiliation":[{"name":"Concordia Institute for Information Systems Engineering, Concordia University, Montreal, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gagandeep Singh","family":"Chawla","sequence":"additional","affiliation":[{"name":"Concordia Institute for Information Systems Engineering, Concordia University, Montreal, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir","family":"Alimohammadifar","sequence":"additional","affiliation":[{"name":"Concordia Institute for Information Systems Engineering, Concordia University, Montreal, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taous","family":"Madi","sequence":"additional","affiliation":[{"name":"The Ericsson Security Research, Ericsson Canada, Montreal, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yosr","family":"Jarraya","sequence":"additional","affiliation":[{"name":"The Ericsson Security Research, Ericsson Canada, Montreal, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Makan","family":"Pourzandi","sequence":"additional","affiliation":[{"name":"The Ericsson Security Research, Ericsson Canada, Montreal, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7441-7541","authenticated-orcid":false,"given":"Lingyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Concordia Institute for Information Systems Engineering, Concordia University, Montreal, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3015-3043","authenticated-orcid":false,"given":"Mourad","family":"Debbabi","sequence":"additional","affiliation":[{"name":"Concordia Institute for Information Systems Engineering, Concordia University, Montreal, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2017.80"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2012.14"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653687"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660356"},{"key":"ref5","first-page":"929","article-title":"A measurement study on co-residence threat inside the cloud","volume-title":"Proc. 24th USENIX Conf. Secur. Symp.","author":"Xu"},{"key":"ref6","article-title":"Nova network security group changes are not applied to running instances","year":"2015"},{"key":"ref7","article-title":"Neutron security groups bypass through invalid CIDR","year":"2015"},{"key":"ref8","article-title":"Cybersecurity and the role of internal audit","year":"2019"},{"key":"ref9","article-title":"Internal audit risk & compliance services","year":"2019"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2857705.2857721"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CloudCom.2015.80"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2549002"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2818000.2818034"},{"key":"ref14","article-title":"OpenStack congress","year":"2015"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2017.2779444"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11698-3_5"},{"key":"ref17","article-title":"OpenStack open source cloud computing software","year":"2015"},{"key":"ref18","article-title":"Neutron firewall rules bypass through port update","year":"2015"},{"key":"ref19","article-title":"Amazon virtual private cloud","year":"2018"},{"key":"ref20","article-title":"Google cloud platform","year":"2018"},{"key":"ref21","article-title":"Microsoft Azure virtual network","year":"2018"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45744-4_3"},{"key":"ref23","article-title":"Forward integrity for secure audit logs","volume":"184","author":"Bellare"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2523649.2523680"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2991079.2991104"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES.2013.37"},{"key":"ref27","first-page":"65","article-title":"Sugar: A CSP to SAT translator based on order encoding","volume-title":"Proc. 2nd Int. CSP Solver Competition","author":"Tamura"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v24i1.7543"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253717"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2000.848640"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-4040-9_3"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29962-0_12"},{"key":"ref33","article-title":"Cloud control matrix CCM v3.0.1","year":"2014"},{"key":"ref34","article-title":"ISO 27017","volume-title":"Information technology- Security techniques- Code of practice for information security controls based on ISO\/IEC 27002 for cloud services (DRAFT)","year":"2012"},{"key":"ref35","article-title":"ISO 27002: 2005","year":"2005"},{"key":"ref36","article-title":"SP 800\u201353","year":"2003"},{"key":"ref37","article-title":"OpenStack command list","year":"2016"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-181137"},{"key":"ref39","article-title":"Open vSwitch","author":"Foundation","year":"2018"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1515\/9780691218632"},{"key":"ref41","article-title":"OpenStack audit middleware","year":"2016"},{"key":"ref42","article-title":"Logstash","year":"2018"},{"key":"ref43","article-title":"Middleware and libraries for WSGI","year":"2016"},{"key":"ref44","article-title":"OpenStack user survey","year":"2015"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-008-9061-0"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES.2012.12"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2013.195"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15497-3_6"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66399-9_15"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2016.0017"},{"key":"ref51","article-title":"Detecting fraudulent activity in a cloud using privacy-friendly data aggregates","author":"Solanas","year":"2014"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref53","first-page":"99","article-title":"Real time network policy checking using header space analysis","volume-title":"Proc. 10th USENIX Conf. Netw. Syst. Des. Implementation","author":"Kazemian"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.5220\/0004957305980603"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSS.2011.6059967"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2749469.2750422"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.24"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/1455526.1455532"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-014-0239-8"},{"key":"ref61","article-title":"Network configuration management via model finding","volume-title":"Proc. 19th Conf. Large Installation Syst. Administration Conf.","author":"Narain"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/9821019\/09363612.pdf?arnumber=9363612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:51:59Z","timestamp":1704844319000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9363612\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,1]]},"references-count":61,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2021.3062204","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,1]]}}}